src/HOL/Tools/record_package.ML
1998-07-27 wenzelm 1998-07-27 tuned;
1998-07-24 wenzelm 1998-07-24 added more_update; added type and update syntax;
1998-06-20 wenzelm 1998-06-20 def_sort;
1998-06-18 wenzelm 1998-06-18 fixed comment;
1998-06-09 wenzelm 1998-06-09 adapted to new theory data interface;
1998-06-05 wenzelm 1998-06-05 accomodate tuned version of theory data;
1998-05-27 paulson 1998-05-27 Changed require to requires for MLWorks
1998-05-26 wenzelm 1998-05-26 foldl_map prep_field;
1998-05-05 wenzelm 1998-05-05 misc tuning;
1998-05-04 wenzelm 1998-05-04 'more' selector; thms: selector_convs, update_convs; tuned;
1998-05-04 wenzelm 1998-05-04 concrete syntax for record terms; defs for update; field types (just abbreviations at the moment); some thms; various of minor improvements;
1998-04-29 wenzelm 1998-04-29 package extensible records with structural subtyping in HOL -- still experimental version;