| 2022-01-27 | Christian Urban | updated Sizebound4 | file | diff | annotate |
| 2017-10-10 | cu | updated | file | diff | annotate |
| 2017-10-08 | cu | updated | file | diff | annotate |
| 2017-10-07 | cu | updated | file | diff | annotate |
| 2017-07-04 | Christian Urban | isar proofs | file | diff | annotate |
| 2017-05-17 | Christian Urban | updated literature | file | diff | annotate |
| 2017-03-20 | Christian Urban | added automata implementation | file | diff | annotate |