src/HOL/Record.thy
2000-09-27 wenzelm 2000-09-27 more symbolic syntax (currently "input");
2000-08-29 wenzelm 2000-08-29 \<dots> syntax;
1999-08-25 wenzelm 1999-08-25 proper bootstrap of HOL theory and packages;
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.