1.1 --- a/src/Pure/Isar/locale.ML	Mon Sep 03 16:50:53 2007 +0200
     1.2 +++ b/src/Pure/Isar/locale.ML	Tue Sep 04 14:32:29 2007 +0200
     1.3 @@ -2007,7 +2007,7 @@
     1.4  
     1.5  (* abstraction of equations *)
     1.6  
     1.7 -(* maps f(t1,...,tn)  to  (f(t1,...,tk), [tk+1,...,tn]) where tk is not a variable *)
     1.8 +(* maps f(t1,...,tn)  to  (f(t1,...,tk), [tk+1,...,tn]) where tk is not a variable and all ti with i>k are *)
     1.9  fun strip_vars ct =
    1.10    let
    1.11      fun stripc (p as (ct, cts)) =