src/Provers/clasimp.ML
changeset 51553 63327f679cff
parent 50111 9e04e6edc5e7
child 51703 f2e92fc0c8aa
equal deleted inserted replaced
51552:c713c9505f68 51553:63327f679cff