| Mon, 13 Oct 2014 15:45:23 +0200 | wenzelm | support for named plugins for definitional packages; | changeset | files |
| Mon, 13 Oct 2014 18:55:05 +0200 | immler | relaxed class constraints for exp | changeset | files |
| Mon, 13 Oct 2014 16:07:11 +0200 | nipkow | tuned | changeset | files |
| Sun, 12 Oct 2014 21:52:45 +0200 | blanchet | special treatment of extensionality in minimizer | changeset | files |