| Mon, 19 Feb 1996 18:04:41 +0100 | nipkow | Introduced normalize_thm into HOL.ML | file | diff | annotate |
| Fri, 09 Feb 1996 13:41:18 +0100 | nipkow | Added qed_spec_mp to avoid renaming of bound vars in 'th RS spec' | file | diff | annotate |
| Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Mon, 29 Jan 1996 13:48:37 +0100 | clasohm | changed the way simpsets and information about datatypes are stored | file | diff | annotate |
| Fri, 17 Nov 1995 12:19:21 +0100 | clasohm | changed simpset of "HOL" | file | diff | annotate |
| Thu, 16 Nov 1995 19:50:40 +0100 | nipkow | added rev_contrapos | file | diff | annotate |
| Fri, 03 Mar 1995 12:02:25 +0100 | clasohm | new version of HOL with curried function application | file | diff | annotate |