src/Doc/Datatypes/Datatypes.thy
changeset 71387 b3b992f6ad8f
parent 71354 c71a44893645
child 71393 fce780f9c9c6