| Wed, 21 Sep 2005 00:07:32 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 20 Sep 2005 23:36:57 +0200 | wenzelm | fixed proof script of lemma merges_same_conv (Why did it stop working?); | changeset | files |
| Tue, 20 Sep 2005 22:07:36 +0200 | wenzelm | updated; | changeset | files |