src/HOL/Library/Datatype_Records.thy
16 months ago Lars Hupel 2018-02-16 features and caveats of datatype_record
16 months ago Lars Hupel 2018-02-14 records based on datatypes/BNF infrastructure