src/CTT/Main.thy
author haftmann
Wed, 09 Sep 2009 11:31:20 +0200
changeset 32544 e129333b9df0
parent 17441 5b5feca0344a
child 35762 af3ff2ba4c54
permissions -rw-r--r--
moved eq handling in nbe into separate oracle


(* $Id$ *)

header {* Main includes everything *}

theory Main
imports CTT Arith Bool
begin
end