doc-src/Intro/bool.thy
author wenzelm
Sat, 17 Oct 2009 14:43:18 +0200
changeset 32960 69916a850301
parent 105 216d6ed87399
permissions -rw-r--r--
eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;

Bool = FOL +
types   bool 0
arities bool    :: term
consts tt,ff    :: "bool"
end