| Tue, 04 Dec 2001 02:00:45 +0100 | wenzelm | no need for hyp_subst_tac' (!?); | file | diff | annotate |
| Mon, 03 Dec 2001 21:01:11 +0100 | wenzelm | hyp_subst_tac'; | file | diff | annotate |
| Fri, 04 Aug 2000 22:56:31 +0200 | wenzelm | rev_eq_reflection = meta_eq_to_obj_eq; | file | diff | annotate |
| Wed, 25 Aug 1999 20:45:19 +0200 | wenzelm | proper bootstrap of IFOL/FOL theories and packages; | file | diff | annotate |