| Wed, 17 Aug 2011 09:59:10 -0700 | huffman | simplify proofs of lemmas open_interval, closed_interval | changeset | files |
| Wed, 17 Aug 2011 23:37:23 +0200 | wenzelm | identify parallel exceptions where they emerge first -- to achieve unique results within evaluation graph; | changeset | files |
| Wed, 17 Aug 2011 22:25:00 +0200 | wenzelm | clarified Par_Exn.release_first: traverse topmost list structure only, not arbitrary depths of nested Par_Exn; | changeset | files |