| Thu, 14 Mar 2013 14:14:58 +0100 | wenzelm | more robust Par_Exn.make, especially relevant for SML/NJ trying to use Par_Exn.release_all; | changeset | files |
| Thu, 14 Mar 2013 13:57:44 +0100 | wenzelm | proper use of "member", without embarking on delicate questions about SML equality types; | changeset | files |
| Thu, 14 Mar 2013 13:52:22 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Thu, 14 Mar 2013 10:51:28 +0100 | nipkow | tuned | changeset | files |