| Tue, 20 Sep 2011 22:11:22 +0200 | haftmann | official status for UN_singleton | changeset | files |
| Tue, 20 Sep 2011 21:47:52 +0200 | haftmann | tuned specification and lemma distribution among theories; tuned proofs | changeset | files |
| Tue, 20 Sep 2011 15:23:17 +0200 | wenzelm | more careful treatment of initial update, similar to output panel; | changeset | files |