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