src/CTT/Main.thy
author wenzelm
Thu, 23 Jul 2015 14:25:05 +0200
changeset 60770 240563fbf41d
parent 58889 5b7a9633cfa8
child 63505 42e1dece537a
permissions -rw-r--r--
isabelle update_cartouches;

section \<open>Main includes everything\<close>

theory Main
imports CTT Arith Bool
begin
end