| Tue, 03 Jan 2012 18:33:17 +0100 | blanchet | fixed spurious catch-all patterns | changeset | files |
| Tue, 03 Jan 2012 13:06:03 +0100 | wenzelm | more benchmarks; | changeset | files |
| Mon, 02 Jan 2012 20:25:21 +0100 | nipkow | tuned | changeset | files |
| Mon, 02 Jan 2012 15:15:46 +0100 | blanchet | ported "Sets" example to "set" type constructor | changeset | files |
| Mon, 02 Jan 2012 15:08:40 +0100 | blanchet | ported a dozen of proofs to the "set" type constructor | changeset | files |
| Mon, 02 Jan 2012 14:45:13 +0100 | blanchet | reintroduced "metis" call taken out after reintroducing "set" as a constructor, and added two "metis" calls that used to be too slow | changeset | files |
| Mon, 02 Jan 2012 14:36:49 +0100 | blanchet | update docs to reflect "Manual_Nits" | changeset | files |
| Mon, 02 Jan 2012 14:32:20 +0100 | blanchet | removed special handling for set constants in relevance filter | changeset | files |