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/General/rat.ML
changeset 70586 57df8a85317a
parent 63227 d3ed7f00e818
child 80809 4a64fc4d1cde 
--- a/src/Pure/General/rat.ML	Tue Aug 20 09:48:22 2019 +0200
+++ b/src/Pure/General/rat.ML	Tue Aug 20 11:01:05 2019 +0200
@@ -13,7 +13,7 @@
   val dest: rat -> int * int
   val string_of_rat: rat -> string
   val signed_string_of_rat: rat -> string
-  val ord: rat * rat -> order
+  val ord: rat ord
   val le: rat -> rat -> bool
   val lt: rat -> rat -> bool
   val sign: rat -> order
isabelle