Theory Datatype_Record_Examples
theory
Datatype_Record_Examples
imports
"
HOL-Library.Datatype_Records
"
begin
text
‹Standard usage›