| Tue, 01 Jul 1997 10:34:30 +0200 | paulson | New laws for the "lists" operator | changeset | files |
| 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 |