Wed, 25 Aug 1999 20:49:02 +0200 | wenzelm | proper bootstrap of HOL theory and packages; | file | diff | annotate |
Thu, 22 Oct 1998 20:15:26 +0200 | wenzelm | tuned block indent; | file | diff | annotate |
Tue, 20 Oct 1998 16:35:37 +0200 | wenzelm | Datatype instead of Prod; | file | diff | annotate |
Tue, 28 Jul 1998 17:05:34 +0200 | wenzelm | removed global_names flag; | file | diff | annotate |
Fri, 24 Jul 1998 17:54:58 +0200 | wenzelm | added type and update syntax; | file | diff | annotate |
Fri, 12 Jun 1998 17:06:14 +0200 | wenzelm | changed {: :} syntax to (| |); | file | diff | annotate |
Wed, 29 Apr 1998 11:42:04 +0200 | wenzelm | Extensible records with structural subtyping in HOL. See | file | diff | annotate |