src/Pure/library.ML
changeset 29209 c2a750c8a37b
parent 28732 99492b224b7b
child 29882 29154e67731d
     1.1 --- a/src/Pure/library.ML	Wed Dec 10 17:19:25 2008 +0100
     1.2 +++ b/src/Pure/library.ML	Thu Dec 11 17:55:51 2008 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  (*  Title:      Pure/library.ML
     1.5 -    ID:         $Id$
     1.6      Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
     1.7      Author:     Markus Wenzel, TU Muenchen
     1.8  
     1.9 @@ -491,7 +490,7 @@
    1.10    | split_last [x] = ([], x)
    1.11    | split_last (x :: xs) = apfst (cons x) (split_last xs);
    1.12  
    1.13 -(*find the position of an element in a list*)
    1.14 +(*find position of first element satisfying a predicate*)
    1.15  fun find_index pred =
    1.16    let fun find (_: int) [] = ~1
    1.17          | find n (x :: xs) = if pred x then n else find (n + 1) xs;