Up to index of Isabelle/CTT
(* $Id: Main.thy,v 1.3 2005/09/16 21:01:30 wenzelm Exp $ *) header {* Main includes everything *} theory Main imports CTT Arith Bool begin end