src/CTT/Main.thy
author wenzelm
Fri, 21 Sep 2007 22:51:08 +0200
changeset 24669 4579eac2c997
parent 17441 5b5feca0344a
child 35762 af3ff2ba4c54
permissions -rw-r--r--
proper signature constraint; minor tuning;


(* $Id$ *)

header {* Main includes everything *}

theory Main
imports CTT Arith Bool
begin
end