| 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 |
| Mon, 30 Sep 1996 15:29:52 +0200 | nipkow | Inserted check for rewrite rules which introduce extra Vars on the rhs. | changeset | files |
| Mon, 30 Sep 1996 11:10:22 +0200 | paulson | Removed some dead wood. Transferred lemmas used to prove analz_image_newK | changeset | files |
| Mon, 30 Sep 1996 11:04:14 +0200 | paulson | Improved discussion of shyps thanks to Markus Wenzel | changeset | files |