Mon, 08 Sep 2014 13:56:28 +0200 | blanchet | refactored MaSh files to avoid regenerating exports on each eval | changeset | files |
Mon, 08 Sep 2014 13:56:27 +0200 | blanchet | added missing 'transpose' | changeset | files |
Mon, 08 Sep 2014 13:56:27 +0200 | blanchet | the kind is now always the empty string -- can no longer distinguish between user theorems and package theorems in a semi-reliable way | changeset | files |