src/HOL/Library/datatype_records.ML
6 months ago wenzelm 2019-01-05 eliminated spurious \<^print>;
6 months ago wenzelm 2019-01-04 isabelle update -u control_cartouches;
10 months ago wenzelm 2018-09-04 proper binding position for the resulting definition command, not this source file;
11 months ago Lars Hupel 2018-07-28 datatype_record produces simp theorems; contributed in part by Yu Zhang
17 months ago Lars Hupel 2018-02-14 records based on datatypes/BNF infrastructure