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/Nitpick/nitpick_nut.ML
changeset 70586 57df8a85317a
parent 69593 3dda49e08b9d 
--- a/src/HOL/Tools/Nitpick/nitpick_nut.ML	Tue Aug 20 09:48:22 2019 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_nut.ML	Tue Aug 20 11:01:05 2019 +0200
@@ -92,7 +92,7 @@
   val untuple : (nut -> 'a) -> nut -> 'a list
   val add_free_and_const_names :
     nut -> nut list * nut list -> nut list * nut list
-  val name_ord : (nut * nut) -> order
+  val name_ord : nut ord
   val the_name : 'a NameTable.table -> nut -> 'a
   val the_rel : nut NameTable.table -> nut -> Kodkod.n_ary_index
   val nut_from_term : hol_context -> op2 -> term -> nut
isabelle