Mon, 07 Oct 1996 10:34:58 +0200 |
paulson |
Tidied up some proofs
|
changeset |
files
|
Mon, 07 Oct 1996 10:31:50 +0200 |
paulson |
Ran expandshort
|
changeset |
files
|
Mon, 07 Oct 1996 10:28:44 +0200 |
paulson |
Removed commands made redundant by new one-point rules
|
changeset |
files
|
Mon, 07 Oct 1996 10:26:00 +0200 |
paulson |
Ran expandshort
|
changeset |
files
|
Mon, 07 Oct 1996 10:23:35 +0200 |
paulson |
New one-point rules for quantifiers
|
changeset |
files
|
Tue, 01 Oct 1996 18:19:12 +0200 |
paulson |
Greatly simplified the proof of A_can_trust
|
changeset |
files
|
Tue, 01 Oct 1996 18:10:33 +0200 |
paulson |
Working again with new theory Shared
|
changeset |
files
|
Tue, 01 Oct 1996 17:44:54 +0200 |
paulson |
Simplified main theorem by abstracting out newK
|
changeset |
files
|
Tue, 01 Oct 1996 17:07:41 +0200 |
paulson |
Moved sees_lost_agent_subset_sees_Spy to common file, and simplified main thm
|
changeset |
files
|
Tue, 01 Oct 1996 15:58:29 +0200 |
paulson |
Moved sees_lost_agent_subset_sees_Spy to common file
|
changeset |
files
|
Tue, 01 Oct 1996 15:49:29 +0200 |
paulson |
Added new guarantees for A and B
|
changeset |
files
|
Tue, 01 Oct 1996 10:43:58 +0200 |
wenzelm |
added shyps comment;
|
changeset |
files
|