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 |