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/defs.ML
changeset 70586 57df8a85317a
parent 62181 4025b5ce1901
child 70920 1e0ad25c94c8 
--- a/src/Pure/defs.ML	Tue Aug 20 09:48:22 2019 +0200
+++ b/src/Pure/defs.ML	Tue Aug 20 11:01:05 2019 +0200
@@ -11,7 +11,7 @@
   datatype item_kind = Const | Type
   type item = item_kind * string
   type entry = item * typ list
-  val item_kind_ord: item_kind * item_kind -> order
+  val item_kind_ord: item_kind ord
   val plain_args: typ list -> bool
   type context = Proof.context * (Name_Space.T * Name_Space.T)
   val global_context: theory -> context
isabelle