src/HOL/Datatype.thy
changeset 38779 89f654951200
parent 36176 3fe7e97ccca8
child 39198 f967a16dfcdd
equal deleted inserted replaced
38778:49b885736e8f 38779:89f654951200