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