| Mon, 28 Nov 2005 07:12:01 +0100 | mengj | Only output arities and class relations if !ResClause.keep_types is true. | changeset | files |
| Mon, 28 Nov 2005 05:03:00 +0100 | urbanc | some small tuning | changeset | files |
| Mon, 28 Nov 2005 00:25:43 +0100 | urbanc | ISAR-fied two proofs about equality for abstraction functions. | changeset | files |
| Sun, 27 Nov 2005 20:06:24 +0100 | wenzelm | * Provers/induct: obtain pattern; | changeset | files |
| Sun, 27 Nov 2005 06:01:11 +0100 | urbanc | added an authors section (please let me know if somebody is left out or unhappy) | changeset | files |
| Sun, 27 Nov 2005 05:09:43 +0100 | urbanc | some minor tunings | changeset | files |