src/FOL/hypsubstdata.ML
Mon, 03 Dec 2001 21:01:11 +0100 wenzelm hyp_subst_tac';
Fri, 04 Aug 2000 22:56:31 +0200 wenzelm rev_eq_reflection = meta_eq_to_obj_eq;
Wed, 25 Aug 1999 20:45:19 +0200 wenzelm proper bootstrap of IFOL/FOL theories and packages;
less more (0) tip