| Tue, 12 Jul 1994 14:26:04 +0200 | clasohm | removed flatten_typ and replaced add_consts by add_consts_i | file | diff | annotate |
| Mon, 11 Jul 1994 13:15:05 +0200 | clasohm | removed flatten_term and replaced add_axioms by add_axioms_i | file | diff | annotate |
| Wed, 06 Jul 1994 11:53:30 +0200 | clasohm | changed comment for const_name | file | diff | annotate |
| Fri, 01 Jul 1994 11:03:42 +0200 | clasohm | replaced extend_theory by new add_* functions; | file | diff | annotate |
| Tue, 18 Jan 1994 16:37:12 +0100 | lcp | Updated refs to old Sign functions | file | diff | annotate |
| Tue, 21 Dec 1993 16:38:45 +0100 | nipkow | added []-field to extend_theory: no type abbreviations. | file | diff | annotate |
| Fri, 17 Sep 1993 16:16:38 +0200 | lcp | Installation of new simplifier for ZF. Deleted all congruence rules not | file | diff | annotate |
| Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |