src/Provers/order.ML
changeset 58335 a5a3b576fcfb
parent 43278 1fbdcebb364b
child 58839 ccda99401bc8
equal deleted inserted replaced
58334:7553a1bcecb7 58335:a5a3b576fcfb