| Mon, 13 Oct 2014 17:04:25 +0200 | wenzelm | support for indirections (defined entries), e.g. relevant for quickcheck and its sub-plugins; | changeset | files |
| 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 |
| Sun, 12 Oct 2014 21:52:45 +0200 | blanchet | improved handling of extensionality in Isar proofs generated from LEO-II and Satallax | changeset | files |
| Sun, 12 Oct 2014 21:52:44 +0200 | blanchet | made SML/NJ happier | changeset | files |
| Sun, 12 Oct 2014 19:53:13 +0200 | haftmann | leftover from 3ccafeb9a1d1 | changeset | files |