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_div_mod.ML
changeset 59582 0fbed69ff081
parent 51717 9e7d1c139569
child 66810 cc2b490f9dc4 
--- a/src/Provers/Arith/cancel_div_mod.ML	Tue Mar 03 19:08:04 2015 +0100
+++ b/src/Provers/Arith/cancel_div_mod.ML	Wed Mar 04 19:53:18 2015 +0100
@@ -72,7 +72,7 @@
 
 fun proc ctxt ct =
   let
-    val t = term_of ct;
+    val t = Thm.term_of ct;
     val (divs, mods) = coll_div_mod t ([], []);
   in
     if null divs orelse null mods then NONE
isabelle