| changeset 35408 | b48ab741683b |
| parent 34986 | 7f7939c9370f |
| child 35625 | 9c818cab0dd0 |
--- a/src/Pure/Isar/rule_cases.ML Sat Feb 27 22:52:25 2010 +0100 +++ b/src/Pure/Isar/rule_cases.ML Sat Feb 27 23:13:01 2010 +0100 @@ -379,7 +379,7 @@ local fun equal_cterms ts us = - is_equal (list_ord (TermOrd.fast_term_ord o pairself Thm.term_of) (ts, us)); + is_equal (list_ord (Term_Ord.fast_term_ord o pairself Thm.term_of) (ts, us)); fun prep_rule n th = let