| Thu, 11 Jul 1996 15:30:22 +0200 | paulson | Added Msg 3; works up to Says_Server_imp_Key_newK | changeset | files |
| 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 |
| Thu, 11 Jul 1996 15:13:52 +0200 | paulson | Added ML reference | changeset | files |
| Thu, 11 Jul 1996 15:02:42 +0200 | paulson | Modified to reject certain inputs -- illustrates error handling | changeset | files |
| Thu, 11 Jul 1996 15:00:38 +0200 | paulson | Documentation of oracles and their syntax | changeset | files |