src/Pure/Concurrent/par_list_dummy.ML
Tue, 06 Jan 2009 14:43:35 +0100 wenzelm renamed structure ParList to Par_List;
Thu, 09 Oct 2008 21:06:08 +0200 wenzelm fixed spelling;
Thu, 09 Oct 2008 20:53:13 +0200 wenzelm Dummy version of parallel list combinators -- plain sequential evaluation.
less more (0) tip