changeset 29368 | 503ce3f8f092 |
parent 29120 | 8a904ff43f28 |
child 32094 | 89b9210c7506 |
--- a/src/Pure/Concurrent/par_list.ML Tue Jan 06 14:33:49 2009 +0100 +++ b/src/Pure/Concurrent/par_list.ML Tue Jan 06 14:43:35 2009 +0100 @@ -1,5 +1,4 @@ (* Title: Pure/Concurrent/par_list.ML - ID: $Id$ Author: Makarius Parallel list combinators. @@ -24,7 +23,7 @@ val forall: ('a -> bool) -> 'a list -> bool end; -structure ParList: PAR_LIST = +structure Par_List: PAR_LIST = struct fun raw_map f xs =