Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned
authorchaieb
Wed, 31 Oct 2007 12:19:41 +0100
changeset 25252 833abbc3e733
parent 25251 759bffe1d416
child 25253 c642b36f2bec
tuned
src/HOL/Tools/Groebner_Basis/misc.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Groebner_Basis/misc.ML	Wed Oct 31 12:19:37 2007 +0100
+++ b/src/HOL/Tools/Groebner_Basis/misc.ML	Wed Oct 31 12:19:41 2007 +0100
@@ -17,7 +17,7 @@
 
 fun is_binop ct ct' =
   (case Thm.term_of ct' of
-    c $ _ $ _ => Thm.term_of ct aconv c
+    c $ _ $ _ => term_of ct aconv c
   | _ => false);
 
 fun dest_binop ct ct' =
isabelle