| Wed, 22 Dec 1999 17:18:03 +0100 | paulson | Working version after a FAILED attempt to base Follows upon LeadsETo | changeset | files |
| Wed, 22 Dec 1999 17:16:53 +0100 | paulson | new weakening laws | changeset | files |
| Wed, 22 Dec 1999 17:16:23 +0100 | paulson | removing the "{} : CC" requirement for leadsTo[CC] | changeset | files |
| Wed, 22 Dec 1999 16:13:29 +0100 | kleing | back to old sml version (due to c library problems) | changeset | files |
| Wed, 22 Dec 1999 16:12:38 +0100 | kleing | some tuning (incorporated David's suggestions) | changeset | files |
| Tue, 21 Dec 1999 15:03:02 +0100 | paulson | working with weak LeadsTo in guarantees precondition\! | changeset | files |
| Tue, 21 Dec 1999 11:27:32 +0100 | oheimb | corrected, improved eMail addresses, user interface section | changeset | files |