| Tue, 04 Feb 2014 23:11:18 +0100 | blanchet | tuned code | changeset | files |
| Tue, 04 Feb 2014 23:11:18 +0100 | blanchet | tuned slack | changeset | files |
| Tue, 04 Feb 2014 23:11:18 +0100 | blanchet | split 'linarith' and 'presburger' (to avoid annoying warnings + to speed up reconstruction when 'presburger' is needed) | changeset | files |
| Tue, 04 Feb 2014 21:29:46 +0000 | paulson | removal of "back", etc. | changeset | files |
| Tue, 04 Feb 2014 21:28:38 +0000 | paulson | Restoration of Pocklington.thy. Tidying. | changeset | files |
| Tue, 04 Feb 2014 21:01:35 +0100 | nipkow | tuned latex | changeset | files |
| Tue, 04 Feb 2014 17:59:33 +0100 | nipkow | tuned latex | changeset | files |
| Tue, 04 Feb 2014 17:44:15 +0100 | nipkow | tuned | changeset | files |
| Tue, 04 Feb 2014 17:38:54 +0100 | nipkow | started index | changeset | files |
| Tue, 04 Feb 2014 09:04:59 +0000 | Lars Hupel | interactive simplifier trace: new panel in Isabelle/jEdit to inspect and modify simplification state | changeset | files |
| Tue, 04 Feb 2014 01:35:48 +0100 | blanchet | removed legacy 'metisFT' method | changeset | files |
| Tue, 04 Feb 2014 01:03:28 +0100 | blanchet | tuning | changeset | files |
| Tue, 04 Feb 2014 00:04:55 +0100 | blanchet | tuning | changeset | files |
| Tue, 04 Feb 2014 00:01:54 +0100 | blanchet | more liberal step merging | changeset | files |