src/CTT/Main.thy
author haftmann
Thu, 04 Oct 2007 19:41:55 +0200
changeset 24841 df8448bc7a8b
parent 17441 5b5feca0344a
child 35762 af3ff2ba4c54
permissions -rw-r--r--
concept for exceptions


(* $Id$ *)

header {* Main includes everything *}

theory Main
imports CTT Arith Bool
begin
end