src/HOL/Datatype.thy
changeset 37155 e3f18cfc9829
parent 36176 3fe7e97ccca8
child 39198 f967a16dfcdd
equal deleted inserted replaced
37154:f6ae8db23352 37155:e3f18cfc9829