src/Tools/induction.ML
changeset 60299 5ae2a2e74c93
parent 59970 e9f73d87d904
child 61841 4d3527b94f2a