Datatype.thy
changeset 252 a4dc62a46ee4
parent 53 5e0570ea8b70