| Thu, 05 Sep 1996 10:23:55 +0200 |
paulson |
Added miniscoping to the simplifier: quantifiers are now pushed in
|
changeset |
files
|
| Tue, 03 Sep 1996 19:07:23 +0200 |
paulson |
Fixed pretty-printing of {|...|}
|
changeset |
files
|
| Tue, 03 Sep 1996 19:07:00 +0200 |
paulson |
New theorems for Fake case
|
changeset |
files
|
| Tue, 03 Sep 1996 19:06:00 +0200 |
paulson |
A further tidying
|
changeset |
files
|
| Tue, 03 Sep 1996 18:30:15 +0200 |
paulson |
ROOT file for Auth directory
|
changeset |
files
|
| Tue, 03 Sep 1996 18:24:42 +0200 |
paulson |
Renaming and simplification
|
changeset |
files
|
| Tue, 03 Sep 1996 17:54:39 +0200 |
paulson |
Renaming and simplification
|
changeset |
files
|
| Tue, 03 Sep 1996 16:43:31 +0200 |
paulson |
Initial working proof of Otway-Rees protocol
|
changeset |
files
|
| Fri, 23 Aug 1996 13:12:51 +0200 |
nipkow |
Swaped two conditions in the completeness statement.
|
changeset |
files
|
| Fri, 23 Aug 1996 13:03:02 +0200 |
nipkow |
Generalized my_lemma1: (c3,s3) |--> cs3
|
changeset |
files
|
| Thu, 22 Aug 1996 12:27:01 +0200 |
paulson |
Now deepen_tac can take advantage of wrappers --
|
changeset |
files
|
| Thu, 22 Aug 1996 12:24:58 +0200 |
paulson |
Proved mem_if
|
changeset |
files
|
| Thu, 22 Aug 1996 12:24:25 +0200 |
paulson |
Proved set_of_list_subset_Cons
|
changeset |
files
|
| Thu, 22 Aug 1996 12:18:21 +0200 |
paulson |
For building the security theory as a separate database
|
changeset |
files
|