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 |