| changeset 29269 | 5c25a2012975 |
| parent 29265 | 5b4247055bd7 |
| child 29270 | 0eade173f77e |
--- a/src/Pure/proofterm.ML Wed Dec 31 00:08:14 2008 +0100 +++ b/src/Pure/proofterm.ML Wed Dec 31 15:30:10 2008 +0100 @@ -188,7 +188,7 @@ (* proof body *) -val oracle_ord = prod_ord fast_string_ord Term.fast_term_ord; +val oracle_ord = prod_ord fast_string_ord TermOrd.fast_term_ord; fun thm_ord ((i, _): pthm, (j, _)) = int_ord (j, i); fun make_body prf =