| Tue, 28 Jul 1998 16:59:15 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 30 Jun 1998 20:41:41 +0200 | berghofe | Moved most of the Prod_Syntax - stuff to HOLogic. | file | diff | annotate |
| Wed, 14 Jan 1998 10:30:44 +0100 | wenzelm | added unit and prod stuff; | file | diff | annotate |
| Tue, 23 Dec 1997 11:39:03 +0100 | paulson | Better equality handling in Blast_tac, usingd a new variant of hyp_subst_tac | file | diff | annotate |
| Wed, 26 Nov 1997 16:43:42 +0100 | wenzelm | added dest_nat; | file | diff | annotate |
| Mon, 06 Oct 1997 19:15:02 +0200 | wenzelm | eliminated raise_term, raise_typ; | file | diff | annotate |
| Thu, 16 Jan 1997 16:53:15 +0100 | wenzelm | binary oprations and relations; | file | diff | annotate |
| Fri, 03 Mar 1995 12:02:25 +0100 | clasohm | new version of HOL with curried function application | file | diff | annotate |