Wed, 12 Sep 2012 00:55:11 +0200 | blanchet | added optional qualifiers for constructors and destructors, similarly to the old package | changeset | files |
Wed, 12 Sep 2012 00:20:37 +0200 | blanchet | adapted example | changeset | files |
Wed, 12 Sep 2012 00:20:37 +0200 | blanchet | added attributes to theorems | changeset | files |