| Fri, 05 Oct 2007 22:00:11 +0200 | wenzelm | tuned induct etc.; | changeset | files |
| Fri, 05 Oct 2007 20:10:35 +0200 | wenzelm | execute/system: non-critical; | changeset | files |
| Fri, 05 Oct 2007 20:10:33 +0200 | wenzelm | subtract: minor performance tuning; | changeset | files |
| Fri, 05 Oct 2007 11:16:30 +0200 | wenzelm | cover only .gz files; | changeset | files |
| Fri, 05 Oct 2007 09:59:21 +0200 | paulson | metis method: used theorems | changeset | files |
| Fri, 05 Oct 2007 09:59:03 +0200 | paulson | filtering out some package theorems | changeset | files |
| Fri, 05 Oct 2007 08:38:09 +0200 | nipkow | added lemmas | changeset | files |