src/CTT/Main.thy
changeset 64980 7dc25cf5793e
parent 63505 42e1dece537a
equal deleted inserted replaced
64979:20a623d03d71 64980:7dc25cf5793e
     1 section \<open>Main includes everything\<close>
     1 section \<open>Main includes everything\<close>
     2 
     2 
     3 theory Main
     3 theory Main
     4   imports CTT Arith Bool
     4   imports CTT Bool Arith
     5 begin
     5 begin
     6 end
     6 end