| Thu, 17 Jul 1997 15:03:38 +0200 | wenzelm | fixed EqI meta rule; | changeset | files |
| Thu, 17 Jul 1997 12:44:58 +0200 | mueller | changes needed for introducing fairness | changeset | files |
| Thu, 17 Jul 1997 12:44:16 +0200 | mueller | changes neede for introducing fairness | changeset | files |
| Thu, 17 Jul 1997 12:43:32 +0200 | mueller | changes needed for adding fairness | changeset | files |
| Wed, 16 Jul 1997 11:34:42 +0200 | wenzelm | fixed merge of internal simprocs; | changeset | files |
| Mon, 14 Jul 1997 12:47:21 +0200 | paulson | Changing "lost" from a parameter of protocol definitions to a constant. | changeset | files |
| Mon, 14 Jul 1997 12:44:09 +0200 | paulson | Fixed delIffs to deal correctly with the D-rule | changeset | files |
| Mon, 14 Jul 1997 12:42:28 +0200 | paulson | Removed redundant addsimps of Un_insert_left, which is now a default simprule | changeset | files |