Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Provers/Arith/cancel_factor.ML
changeset 35408 b48ab741683b
parent 29269 5c25a2012975 
--- a/src/Provers/Arith/cancel_factor.ML	Sat Feb 27 22:52:25 2010 +0100
+++ b/src/Provers/Arith/cancel_factor.ML	Sat Feb 27 23:13:01 2010 +0100
@@ -35,7 +35,7 @@
       if t aconv u then (u, k + 1) :: uks
       else (t, 1) :: (u, k) :: uks;
 
-fun count_terms ts = foldr ins_term (sort TermOrd.term_ord ts, []);
+fun count_terms ts = foldr ins_term (sort Term_Ord.term_ord ts, []);
 
 
 (* divide sum *)
isabelle