src/HOL/Library/datatype_records.ML
20 months ago Lars Hupel 2018-02-14 records based on datatypes/BNF infrastructure