src/HOL/Tools/Function/inductive_wrap.ML
changeset 33276 f2bc8bc6e73d
parent 33099 b8cdd3d73022
child 33278 ba9f52f56356
equal deleted inserted replaced
33268:02de0317f66f 33276:f2bc8bc6e73d