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/variable.ML
changeset 70586 57df8a85317a
parent 70311 e49bf4ebf330
child 70733 ce1afe0f3071 
--- a/src/Pure/variable.ML	Tue Aug 20 09:48:22 2019 +0200
+++ b/src/Pure/variable.ML	Tue Aug 20 11:01:05 2019 +0200
@@ -41,7 +41,7 @@
   val is_improper: Proof.context -> string -> bool
   val is_fixed: Proof.context -> string -> bool
   val is_newly_fixed: Proof.context -> Proof.context -> string -> bool
-  val fixed_ord: Proof.context -> string * string -> order
+  val fixed_ord: Proof.context -> string ord
   val intern_fixed: Proof.context -> string -> string
   val lookup_fixed: Proof.context -> string -> string option
   val revert_fixed: Proof.context -> string -> string
isabelle