src/FOL/FOL.ML
author wenzelm
Fri Sep 22 17:24:36 2000 +0200 (2000-09-22)
changeset 10062 3b819da9c71a
parent 7529 fa534e4f7e49
child 11588 d792570a04b1
permissions -rw-r--r--
AddXIs [equal_intr_rule];
     1 
     2 structure FOL =
     3 struct
     4   val thy = the_context ();
     5   val classical = classical;
     6 end;
     7 
     8 AddXIs [equal_intr_rule, disjI1, disjI2];
     9 
    10 open FOL;