doc-src/Intro/bool.thy
author wenzelm
Sat Oct 17 14:43:18 2009 +0200 (2009-10-17)
changeset 32960 69916a850301
parent 105 216d6ed87399
permissions -rw-r--r--
eliminated hard tabulators, guessing at each author's individual tab-width;
tuned headers;
lcp@105
     1
Bool = FOL +
wenzelm@32960
     2
types   bool 0
wenzelm@32960
     3
arities bool    :: term
wenzelm@32960
     4
consts tt,ff    :: "bool"
lcp@105
     5
end