| Thu, 27 Jan 2022 23:25:26 +0000 | Christian Urban | updated Sizebound4 | file | diff | annotate |
| Tue, 10 Oct 2017 10:40:44 +0100 | cu | updated | file | diff | annotate |
| Sun, 08 Oct 2017 14:21:24 +0100 | cu | updated | file | diff | annotate |
| Sat, 07 Oct 2017 22:16:16 +0100 | cu | updated | file | diff | annotate |
| Tue, 04 Jul 2017 15:59:31 +0100 | Christian Urban | isar proofs | file | diff | annotate |
| Wed, 17 May 2017 09:38:58 +0100 | Christian Urban | updated literature | file | diff | annotate |
| Mon, 20 Mar 2017 15:13:17 +0000 | Christian Urban | added automata implementation | file | diff | annotate |