src/FOL/IFOL.ML

   val exI = exI;
   val exE = exE;
   val eq_reflection = eq_reflection;
   val iff_reflection = iff_reflection;
 end;
-
-open IFOL;