src/FOL/FOL.thy
author clasohm
Thu Sep 16 12:20:38 1993 +0200 (1993-09-16 ago)
changeset 0 a5a9c433f639
child 4093 5e8f3d57dee7
permissions -rw-r--r--
Initial revision
     1 FOL = IFOL +
     2 rules
     3 classical "(~P ==> P) ==> P"
     4 end