src/CTT/Main.thy
author wenzelm
Mon, 24 Oct 2016 11:10:17 +0200
changeset 64366 e0ab4c0a5a93
parent 63505 42e1dece537a
child 64980 7dc25cf5793e
permissions -rw-r--r--
updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7;

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

theory Main
  imports CTT Arith Bool
begin
end