src/HOL/Isar_examples/NestedDatatype.thy
changeset 18851 9502ce541f01
parent 18460 9a1458cb2956
child 23373 ead82c82da9e