src/FOL/FOL.thy
author lcp
Tue Mar 07 13:15:25 1995 +0100 (1995-03-07)
changeset 928 cb31a4e97f75
parent 0 a5a9c433f639
child 4093 5e8f3d57dee7
permissions -rw-r--r--
Moved declaration of ~= to a syntax section
     1 FOL = IFOL +
     2 rules
     3 classical "(~P ==> P) ==> P"
     4 end