doc-src/Intro/bool.thy
author blanchet
Fri Apr 30 09:36:45 2010 +0200 (2010-04-30)
changeset 36569 3a29eb7606c3
parent 32960 69916a850301
permissions -rw-r--r--
added "no_atp" for theorems that are automatically used or included by Sledgehammer when appropriate (about combinators and fequal)
     1 Bool = FOL +
     2 types   bool 0
     3 arities bool    :: term
     4 consts tt,ff    :: "bool"
     5 end