| Wed, 14 Dec 2005 01:39:41 +0100 | mengj | changed ATP input files' names and location. | changeset | files |
| Tue, 13 Dec 2005 19:32:36 +0100 | wenzelm | Potentially infinite lists as greatest fixed-point. | changeset | files |
| Tue, 13 Dec 2005 19:32:06 +0100 | wenzelm | Provers/induct: coinduct; | changeset | files |