src/FOL/FOL.thy
author wenzelm
Mon Nov 03 12:26:58 1997 +0100 (1997-11-03 ago)
changeset 4093 5e8f3d57dee7
parent 0 a5a9c433f639
child 4793 03fd006fb97b
permissions -rw-r--r--
added claset thy_data;
     1 
     2 FOL = IFOL +
     3 
     4 rules
     5   classical "(~P ==> P) ==> P"
     6 
     7 end
     8 
     9 ML val thy_data = [ClasetThyData.thy_data];