| Mon, 17 Dec 2007 17:01:54 +0100 | nipkow | removed legacy proofs | changeset | files |
| Mon, 17 Dec 2007 11:11:43 +0100 | krauss | spread NEWS about "induction_scheme" method | changeset | files |
| Sun, 16 Dec 2007 22:37:55 +0100 | kleing | settings for cvs version of poly | changeset | files |
| Sun, 16 Dec 2007 13:09:37 +0100 | wenzelm | tuned comments; | changeset | files |
| Sun, 16 Dec 2007 13:05:53 +0100 | wenzelm | constructor: allow default logic; | changeset | files |
| Sun, 16 Dec 2007 13:05:07 +0100 | wenzelm | constructor: allow default logic; | changeset | files |
| Sat, 15 Dec 2007 23:55:33 +0100 | wenzelm | tuned whitespace; | changeset | files |