src/Pure/Concurrent/par_list_dummy.ML
author wenzelm
Tue, 06 Jan 2009 14:43:35 +0100
changeset 29368 503ce3f8f092
parent 28556 85d2972fe9e6
permissions -rw-r--r--
renamed structure ParList to Par_List;

(*  Title:      Pure/Concurrent/par_list_dummy.ML
    Author:     Makarius

Dummy version of parallel list combinators -- plain sequential evaluation.
*)

structure Par_List: PAR_LIST =
struct

val map = map;
val get_some = get_first;
val find_some = find_first;
val exists = exists;
val forall = forall;

end;