Theory Main

Up to index of Isabelle/CTT

theory Main
imports Arith
begin

(* $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