| Wed, 28 Dec 2005 21:14:23 +0100 | haftmann | slightly improved serialization | changeset | files |
| Tue, 27 Dec 2005 15:24:40 +0100 | haftmann | substantial improvements in code generating | changeset | files |
| Tue, 27 Dec 2005 15:24:23 +0100 | haftmann | added map_index | changeset | files |
| Fri, 23 Dec 2005 20:02:30 +0100 | wenzelm | tuned proofs; | changeset | files |
| Fri, 23 Dec 2005 18:36:27 +0100 | wenzelm | removed obsolete atomize_old; | changeset | files |
| Fri, 23 Dec 2005 18:36:26 +0100 | wenzelm | removed obsolete induct_atomize_old; | changeset | files |
| Fri, 23 Dec 2005 17:37:54 +0100 | paulson | the "skolem" attribute and better initialization of the clause database | changeset | files |