Thu, 11 Jul 1996 15:28:10 +0200 | paulson | Corrected indentation | changeset | files |
Thu, 11 Jul 1996 15:18:57 +0200 | paulson | Oracles can now be strings instead of identifiers | changeset | files |
Thu, 11 Jul 1996 15:14:41 +0200 | paulson | Added insert_mono | changeset | files |