| Thu, 09 Dec 1999 11:40:00 +0100 | kleing | ID line added | changeset | files |
| Thu, 09 Dec 1999 11:34:32 +0100 | kleing | new webpage layout | changeset | files |
| Wed, 08 Dec 1999 13:53:29 +0100 | paulson | abolition of localTo: instead "guarantees" has local vars as extra argument | changeset | files |
| Wed, 08 Dec 1999 13:52:36 +0100 | paulson | used image_eq_UN to speed up slow proofs of base cases | changeset | files |
| Wed, 08 Dec 1999 13:51:44 +0100 | paulson | useful lemma eqset_imp_iff | changeset | files |
| Tue, 07 Dec 1999 17:14:49 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 07 Dec 1999 12:13:09 +0100 | wenzelm | tuned; | changeset | files |