| changeset 35408 | b48ab741683b |
| parent 34088 | d6194ece49df |
| child 35625 | 9c818cab0dd0 |
--- a/src/Pure/Tools/find_theorems.ML Sat Feb 27 22:52:25 2010 +0100 +++ b/src/Pure/Tools/find_theorems.ML Sat Feb 27 23:13:01 2010 +0100 @@ -364,7 +364,7 @@ fun rem_thm_dups nicer xs = xs ~~ (1 upto length xs) - |> sort (TermOrd.fast_term_ord o pairself (Thm.prop_of o #2 o #1)) + |> sort (Term_Ord.fast_term_ord o pairself (Thm.prop_of o #2 o #1)) |> rem_cdups nicer |> sort (int_ord o pairself #2) |> map #1;