Corrected alphabetical order of entries in signature.
authornipkow
Tue Oct 21 17:36:54 1997 +0200 (1997-10-21)
changeset 396329c5ec9ecbaa
parent 3962 69c76eb80273
child 3964 f95d2fb6fac8
Corrected alphabetical order of entries in signature.
src/Pure/logic.ML
     1.1 --- a/src/Pure/logic.ML	Tue Oct 21 10:52:25 1997 +0200
     1.2 +++ b/src/Pure/logic.ML	Tue Oct 21 17:36:54 1997 +0200
     1.3 @@ -21,11 +21,11 @@
     1.4    val dest_type		: term -> typ
     1.5    val flatten_params	: int -> term -> term
     1.6    val incr_indexes	: typ list * int -> term -> term
     1.7 +  val is_equals         : term -> bool
     1.8    val lift_fns		: term * int -> (term -> term) * (term -> term)
     1.9    val list_flexpairs	: (term*term)list * term -> term
    1.10    val list_implies	: term list * term -> term
    1.11    val list_rename_params: string list * term -> term
    1.12 -  val is_equals         : term -> bool
    1.13    val loops		: Sign.sg -> term list -> term -> term
    1.14                            -> string option * bool
    1.15    val mk_equals		: term * term -> term