src/Provers/order_tac.ML
changeset 83011 d35875d530a2
parent 82027 9c33627cea18
equal deleted inserted replaced
83010:b01548bf9e77 83011:d35875d530a2