# HG changeset patch # User nipkow # Date 877448214 -7200 # Node ID 29c5ec9ecbaa93f05f1e53f3fce350dc83d39c4e # Parent 69c76eb8027347ac1c9499bb5652cecb04a407f8 Corrected alphabetical order of entries in signature. diff -r 69c76eb80273 -r 29c5ec9ecbaa src/Pure/logic.ML --- 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