author | bulwahn |
Thu, 07 Jul 2011 23:33:14 +0200 | |
changeset 43704 | 47b0be18ccbe |
parent 41711 | 3422ae5aff3a |
child 44269 | 3ff2fd162aee |
permissions | -rw-r--r-- |
(* Title: Pure/Concurrent/par_list_sequential.ML Author: Makarius Dummy version of parallel list combinators -- plain sequential evaluation. *) structure Par_List: PAR_LIST = struct fun map_name _ = map; val map = map; val get_some = get_first; val find_some = find_first; val exists = exists; val forall = forall; end;