src/CTT/Main.thy
author wenzelm
Wed, 15 Apr 2009 11:14:48 +0200
changeset 30895 bad26d8f0adf
parent 17441 5b5feca0344a
child 35762 af3ff2ba4c54
permissions -rw-r--r--
updated for Isabelle2009;


(* $Id$ *)

header {* Main includes everything *}

theory Main
imports CTT Arith Bool
begin
end