--- a/src/CTT/Main.thy Fri Jun 17 11:35:35 2005 +0200 +++ b/src/CTT/Main.thy Fri Jun 17 16:12:49 2005 +0200 @@ -1,6 +1,6 @@ (*theory Main includes everything*) -theory Main = CTT + Arith + Bool: +theory Main imports CTT Arith Bool begin end