src/CTT/Main.thy
author wenzelm
Thu Aug 09 23:53:51 2007 +0200 (2007-08-09)
changeset 24209 8a2c8d623e43
parent 17441 5b5feca0344a
child 35762 af3ff2ba4c54
permissions -rw-r--r--
schedule: misc cleanup, more precise task model;
     1 
     2 (* $Id$ *)
     3 
     4 header {* Main includes everything *}
     5 
     6 theory Main
     7 imports CTT Arith Bool
     8 begin
     9 end