| Mon, 22 Jun 1998 17:13:09 +0200 | wenzelm | isatool fixgoal; | changeset | files |
| Mon, 22 Jun 1998 17:12:27 +0200 | wenzelm | isatool fixgoal; | changeset | files |
| Mon, 22 Jun 1998 15:53:24 +0200 | paulson | Changed format of Bob's certificate from Nb,K,A to A,B,K,Nb. | changeset | files |
| Mon, 22 Jun 1998 15:50:59 +0200 | paulson | comments and minor tidying | changeset | files |
| Mon, 22 Jun 1998 15:49:29 +0200 | paulson | simplified and tidied the proofs | changeset | files |
| Mon, 22 Jun 1998 15:25:06 +0200 | wenzelm | check_mlhome_file; | changeset | files |
| Mon, 22 Jun 1998 15:18:02 +0200 | wenzelm | isatool fixgoal; | changeset | files |
| Mon, 22 Jun 1998 15:09:59 +0200 | wenzelm | isatool fixgoal; | changeset | files |