| Wed, 20 Jul 2011 03:57:42 +0200 | Stuff. | file | diff | annotate |
| Wed, 20 Jul 2011 03:03:50 +0200 | Automata example. | file | diff | annotate |
| Tue, 19 Jul 2011 21:29:46 +0200 | Some more definitions. | file | diff | annotate |
| Tue, 19 Jul 2011 15:23:57 +0200 | Some more definitions. | file | diff | annotate |
| Tue, 19 Jul 2011 02:33:21 +0200 | Initial slides. | file | diff | annotate |