src/CTT/Main.thy
author webertj
Sun, 14 Nov 2004 01:40:27 +0100
changeset 15283 f21466450330
parent 10466 78168ca70469
child 16417 9bc16273c2d4
permissions -rw-r--r--
DOCTYPE declaration added


(*theory Main includes everything*)

theory Main = CTT + Arith + Bool:

end