src/Provers/order.ML
changeset 69977 3c166df11085
parent 67379 c2dfc510a38c
equal deleted inserted replaced
69976:98a440cfbb2b 69977:3c166df11085