src/FOL/fol.thy
author wenzelm
Thu Aug 27 20:46:36 1998 +0200 (1998-08-27)
changeset 5400 645f46a24c72
parent 0 a5a9c433f639
permissions -rw-r--r--
made tutorial first;
     1 FOL = IFOL +
     2 rules
     3 classical "(~P ==> P) ==> P"
     4 end