| Tue, 21 Feb 2012 22:50:28 +0100 | wenzelm | misc tuning; | changeset | files |
| Tue, 21 Feb 2012 21:15:57 +0100 | wenzelm | merged; | changeset | files |
| Tue, 21 Feb 2012 20:43:58 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
| Tue, 21 Feb 2012 20:22:23 +0100 | wenzelm | tuned proofs; | changeset | files |