TODO

--- a/TODO	Thu Apr 07 09:51:17 2005 +0200
+++ b/TODO	Thu Apr 07 10:22:55 2005 +0200
@@ -1,6 +1,8 @@
 For Isabelle2005:
 
-- update course material slides to new theory format (Tobias)
+- update course material slides to new theory headers (Tobias)
+
+- shell script to convert to new theory headers
 
 - attach additional ML code to consts_code section (Stefan)