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;
paulson@10466
     1
wenzelm@17441
     2
(* $Id$ *)
wenzelm@17441
     3
wenzelm@17441
     4
header {* Main includes everything *}
paulson@10466
     5
wenzelm@17441
     6
theory Main
wenzelm@17441
     7
imports CTT Arith Bool
wenzelm@17441
     8
begin
paulson@10466
     9
end