Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Corrected alphabetical order of entries in signature.
authornipkow
Tue, 21 Oct 1997 17:36:54 +0200
changeset 3963 29c5ec9ecbaa
parent 3962 69c76eb80273
child 3964 f95d2fb6fac8
Corrected alphabetical order of entries in signature.
src/Pure/logic.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/logic.ML	Tue Oct 21 10:52:25 1997 +0200
+++ b/src/Pure/logic.ML	Tue Oct 21 17:36:54 1997 +0200
@@ -21,11 +21,11 @@
   val dest_type		: term -> typ
   val flatten_params	: int -> term -> term
   val incr_indexes	: typ list * int -> term -> term
+  val is_equals         : term -> bool
   val lift_fns		: term * int -> (term -> term) * (term -> term)
   val list_flexpairs	: (term*term)list * term -> term
   val list_implies	: term list * term -> term
   val list_rename_params: string list * term -> term
-  val is_equals         : term -> bool
   val loops		: Sign.sg -> term list -> term -> term
                           -> string option * bool
   val mk_equals		: term * term -> term
isabelle