Tue, 15 Oct 1996 10:46:42 +0200 | paulson | Removed extraneous spaces from all Makefiles | changeset | files |
Mon, 14 Oct 1996 11:08:54 +0200 | paulson | Removed call to obsolete totalCPUTimer function | changeset | files |
Fri, 11 Oct 1996 10:55:03 +0200 | paulson | Addition of Sequents; removal of Modal and LK | changeset | files |
Fri, 11 Oct 1996 10:52:54 +0200 | paulson | Addition of OtwayRees_AN | changeset | files |
Thu, 10 Oct 1996 18:40:34 +0200 | paulson | Abadi and Needham's variant of Otway-Rees | changeset | files |
Thu, 10 Oct 1996 12:00:23 +0200 | paulson | Deleted obsolete clasets | changeset | files |