| Mon, 12 Dec 2005 17:24:06 +0100 | haftmann | added generic name mangler | changeset | files |
| Mon, 12 Dec 2005 15:37:35 +0100 | haftmann | improvement in eq handling | changeset | files |
| Mon, 12 Dec 2005 15:37:05 +0100 | haftmann | improvements in class and eq handling | changeset | files |
| Mon, 12 Dec 2005 15:36:46 +0100 | haftmann | added dummy 'print' to non-polyml systems | changeset | files |
| Sun, 11 Dec 2005 11:57:01 +0100 | urbanc | ISAR-fied some proofs | changeset | files |
| Sun, 11 Dec 2005 01:21:26 +0100 | urbanc | completed the sn proof and changed the manual | changeset | files |
| Sat, 10 Dec 2005 00:11:35 +0100 | urbanc | changed the types in accordance with Florian's changes | changeset | files |
| Fri, 09 Dec 2005 15:25:52 +0100 | haftmann | substantial improvements for class code generation | changeset | files |
| Fri, 09 Dec 2005 15:25:29 +0100 | haftmann | improved extraction interface | changeset | files |
| Fri, 09 Dec 2005 12:38:49 +0100 | urbanc | tuned | changeset | files |
| Fri, 09 Dec 2005 09:06:45 +0100 | haftmann | oriented result pairs in PureThy | changeset | files |
| Thu, 08 Dec 2005 20:16:17 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 08 Dec 2005 20:16:10 +0100 | wenzelm | removed Syntax.deskolem; | changeset | files |
| Thu, 08 Dec 2005 20:16:04 +0100 | wenzelm | swap: no longer pervasive; | changeset | files |
| Thu, 08 Dec 2005 20:15:57 +0100 | wenzelm | replaced swap by contrapos_np; | changeset | files |