| Mon, 13 Oct 2014 18:45:48 +0200 | wenzelm | Local_Interpretation is superseded by Plugin with formal Plugin_Name management, avoiding undeclared strings; | changeset | files |
| 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 |