author | wenzelm |
Thu, 09 Oct 2008 21:06:08 +0200 | |
changeset 28556 | 85d2972fe9e6 |
parent 28546 | d57bfb44c9e5 |
child 29368 | 503ce3f8f092 |
permissions | -rw-r--r-- |
(* Title: Pure/Concurrent/par_list_dummy.ML ID: $Id$ Author: Makarius Dummy version of parallel list combinators -- plain sequential evaluation. *) structure ParList: PAR_LIST = struct val map = map; val get_some = get_first; val find_some = find_first; val exists = exists; val forall = forall; end;