src/FOL/FOL.thy
author wenzelm
Thu Aug 27 20:46:36 1998 +0200 (1998-08-27)
changeset 5400 645f46a24c72
parent 4854 d1850e0964f2
child 5887 0864c6578d16
permissions -rw-r--r--
made tutorial first;
wenzelm@4093
     1
clasohm@0
     2
FOL = IFOL +
wenzelm@4093
     3
clasohm@0
     4
rules
wenzelm@4093
     5
  classical "(~P ==> P) ==> P"
wenzelm@4093
     6
wenzelm@4854
     7
setup
wenzelm@4854
     8
  ClasetThyData.setup
wenzelm@4093
     9
wenzelm@4854
    10
end