| Sun, 26 Nov 2006 23:43:53 +0100 | wenzelm | converted legacy ML scripts; | file | diff | annotate |
| Tue, 07 Nov 2006 14:29:57 +0100 | wenzelm | tuned hypsubst setup; | file | diff | annotate |
| Wed, 11 Oct 2006 14:51:25 +0200 | haftmann | slight type signature changes | file | diff | annotate |
| 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 |