Sat, 03 Sep 2011 22:05:25 +0200 | wenzelm | misc tuning and simplification of proofs; | changeset | files |
Sat, 03 Sep 2011 21:15:35 +0200 | wenzelm | Document.removed_versions on Scala side; | changeset | files |
Sat, 03 Sep 2011 19:47:31 +0200 | wenzelm | discontinued predefined empty command (obsolete!?); | changeset | files |