--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/doc-src/Intro/bool.thy Wed Nov 10 05:06:55 1993 +0100 @@ -0,0 +1,5 @@ +Bool = FOL + +types bool 0 +arities bool :: term +consts tt,ff :: "bool" +end