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