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;
     1 Bool = FOL +
     2 types   bool 0
     3 arities bool    :: term
     4 consts tt,ff    :: "bool"
     5 end