isabelle: src/CTT/Main.thy@240563fbf41d (annotated)

60770 240563fbf41d isabelle update_cartouches; wenzelm parents: 58889 diff changeset	1	section \<open>Main includes everything\<close>
10466 78168ca70469 new Main.thy as in HOL, ZF paulson parents: diff changeset	2
17441 5b5feca0344a converted to Isar theory format; wenzelm parents: 16417 diff changeset	3	theory Main
5b5feca0344a converted to Isar theory format; wenzelm parents: 16417 diff changeset	4	imports CTT Arith Bool
5b5feca0344a converted to Isar theory format; wenzelm parents: 16417 diff changeset	5	begin
10466 78168ca70469 new Main.thy as in HOL, ZF paulson parents: diff changeset	6	end