TODO
author kleing
Tue, 17 Aug 2004 11:00:24 +0200
changeset 15139 58cd3404cf75
child 15310 7a5ded09f68b
permissions -rw-r--r--
todo before next release

For Isabelle2005:

- update course material slides to new theory format

- remove this file