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/HOL/Tools/ATP/recon_order_clauses.ML
changeset 16157 1764cc98bafd
parent 16061 8a139c1557bf
child 16515 7896ea4f3a87 
--- a/src/HOL/Tools/ATP/recon_order_clauses.ML	Tue May 31 12:42:36 2005 +0200
+++ b/src/HOL/Tools/ATP/recon_order_clauses.ML	Tue May 31 17:52:10 2005 +0200
@@ -41,7 +41,7 @@
                                 else
                                      takeUntil ch xs (res@[x]);
 
-fun contains_eq str = inlist "=" str 
+fun contains_eq str = "=" mem str 
 
 fun eq_not_neq str = let val uptoeq = fst(takeUntil "=" str [])
                      in (last uptoeq) <> "~" end
isabelle