src/Pure/Concurrent/par_list.ML
changeset 29368 503ce3f8f092
parent 29120 8a904ff43f28
child 32094 89b9210c7506
     1.1 --- a/src/Pure/Concurrent/par_list.ML	Tue Jan 06 14:33:49 2009 +0100
     1.2 +++ b/src/Pure/Concurrent/par_list.ML	Tue Jan 06 14:43:35 2009 +0100
     1.3 @@ -1,5 +1,4 @@
     1.4  (*  Title:      Pure/Concurrent/par_list.ML
     1.5 -    ID:         $Id$
     1.6      Author:     Makarius
     1.7  
     1.8  Parallel list combinators.
     1.9 @@ -24,7 +23,7 @@
    1.10    val forall: ('a -> bool) -> 'a list -> bool
    1.11  end;
    1.12  
    1.13 -structure ParList: PAR_LIST =
    1.14 +structure Par_List: PAR_LIST =
    1.15  struct
    1.16  
    1.17  fun raw_map f xs =