Wed, 11 Feb 2009 21:39:12 +0100 | wenzelm | some more macros; | changeset | files |
Wed, 11 Feb 2009 21:38:28 +0100 | wenzelm | proof/qed: optional methods; | changeset | files |
Wed, 11 Feb 2009 21:38:03 +0100 | wenzelm | tuned formal markup; | changeset | files |