src/Provers/order.ML
changeset 25456 6f79698f294d
parent 24704 9a95634ab135
child 26834 87a5b9ec3863
equal deleted inserted replaced
25455:ab519be677ba 25456:6f79698f294d