src/HOL/Library/Datatype_Records.thy
4 months ago wenzelm 2019-03-14 more specific keyword kinds;
6 months ago wenzelm 2019-01-06 isabelle update -u path_cartouches;
17 months ago Lars Hupel 2018-02-16 features and caveats of datatype_record
17 months ago Lars Hupel 2018-02-14 records based on datatypes/BNF infrastructure