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