src/HOL/Record.thy
1998-10-22 wenzelm 1998-10-22 tuned block indent;
1998-10-20 wenzelm 1998-10-20 Datatype instead of Prod;
1998-07-28 wenzelm 1998-07-28 removed global_names flag;
1998-07-24 wenzelm 1998-07-24 added type and update syntax;
1998-06-12 wenzelm 1998-06-12 changed {: :} syntax to (| |);
1998-04-29 wenzelm 1998-04-29 Extensible records with structural subtyping in HOL. See Tools/record_package.ML for the actual implementation.