src/Pure/Concurrent/par_exn.ML
Wed, 17 Aug 2011 22:14:22 +0200 wenzelm more systematic handling of parallel exceptions;
less more (0) tip