src/Doc/Datatypes/Datatypes.thy
changeset 56355 1a9f569b5b7e
parent 56124 315cc3c0a19a
child 56644 efb39e0a89b0