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/Pure/Tools/find_theorems.ML
changeset 81729 560a069a537f
parent 80875 2e33897071b6
child 82583 abd3885a3fcf 
--- a/src/Pure/Tools/find_theorems.ML	Sun Jan 05 15:18:30 2025 +0100
+++ b/src/Pure/Tools/find_theorems.ML	Sun Jan 05 15:18:54 2025 +0100
@@ -345,7 +345,7 @@
         (case qual_ord (x, y) of EQUAL => txt_ord (x, y) | ord => ord)
       | ord => ord)
     | ord => ord)
-  | ord => ord) <> GREATER;
+  | ord => ord) |> is_less_equal;
 
 fun rem_cdups nicer xs =
   let
isabelle