| 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 |