| Mon, 30 Jun 1997 12:08:19 +0200 | nipkow | More concat lemmas. | changeset | files |
| Fri, 27 Jun 1997 10:47:13 +0200 | paulson | Corrected indentations and margins after the renaming of "set_of_list" | changeset | files |
| Thu, 26 Jun 1997 13:20:50 +0200 | nipkow | set_of_list -> set | changeset | files |
| Thu, 26 Jun 1997 11:58:05 +0200 | paulson | Trivial changes in connection with the Yahalom paper. | changeset | files |
| Thu, 26 Jun 1997 11:15:55 +0200 | wenzelm | oops; | changeset | files |
| Thu, 26 Jun 1997 11:14:46 +0200 | wenzelm | rearrange pages of ps file to be printed as booklet (duplex); | changeset | files |
| Thu, 26 Jun 1997 10:43:15 +0200 | nipkow | amdI -> admI2 | changeset | files |
| Thu, 26 Jun 1997 10:42:50 +0200 | nipkow | Tuned Franz's proofs. | changeset | files |