src/FOL/FOL.thy
author oheimb
Thu May 15 15:51:09 1997 +0200 (1997-05-15 ago)
changeset 3206 a3de7f32728c
parent 0 a5a9c433f639
child 4093 5e8f3d57dee7
permissions -rw-r--r--
renamed addss to addSss, unsafe_addss to addss, extended auto_tac
     1 FOL = IFOL +
     2 rules
     3 classical "(~P ==> P) ==> P"
     4 end