| Wed, 02 Mar 1994 12:26:55 +0100 | clasohm | changed "." to "$" and Cons to infix "#" to eliminate ambiguity | file | diff | annotate |
| Sat, 12 Feb 1994 14:46:21 +0100 | nipkow | added translations for "case xs of" | file | diff | annotate |
| Thu, 03 Feb 1994 09:55:47 +0100 | nipkow | Introduction of various new lemmas and of case_tac. | file | diff | annotate |
| Thu, 27 Jan 1994 17:01:10 +0100 | nipkow | id -> idt in type of @filter and @Alls | file | diff | annotate |
| Mon, 24 Jan 1994 15:59:02 +0100 | nipkow | added conj_assoc to HOL_ss | file | diff | annotate |
| Wed, 03 Nov 1993 19:02:17 +0100 | nipkow | added append "@" | file | diff | annotate |
| Thu, 16 Sep 1993 12:21:07 +0200 | clasohm | Initial revision | file | diff | annotate |