| Fri, 17 Jun 1994 18:30:18 +0200 | lcp | HOL/List/map_append,map_compose: new | file | diff | annotate |
| Wed, 02 Mar 1994 12:26:55 +0100 | clasohm | changed "." to "$" and Cons to infix "#" to eliminate ambiguity | file | diff | annotate |
| Tue, 15 Feb 1994 10:05:17 +0100 | nipkow | deleted duplicate rewrite rules | file | diff | annotate |
| Thu, 03 Feb 1994 09:55:47 +0100 | nipkow | Introduction of various new lemmas and of case_tac. | file | diff | annotate |
| Mon, 24 Jan 1994 15:59:02 +0100 | nipkow | added conj_assoc to HOL_ss | file | diff | annotate |
| Mon, 29 Nov 1993 18:35:02 +0100 | nipkow | changed simpsets | file | diff | annotate |
| Wed, 03 Nov 1993 19:02:17 +0100 | nipkow | added append "@" | file | diff | annotate |
| Thu, 07 Oct 1993 10:20:30 +0100 | lcp | added ~= for "not equals" and added ~: for "not in" | file | diff | annotate |
| Thu, 16 Sep 1993 12:21:07 +0200 | clasohm | Initial revision | file | diff | annotate |