src/HOL/Datatype.thy
changeset 11115 285b31e9e026
parent 10212 33fe2d701ddd
child 11954 3d1780208bf3