| Fri, 10 Aug 2001 10:25:45 +0200 | paulson | Updated proofs to take advantage of additional theorems proved by "typedef" | changeset | files |
| Thu, 09 Aug 2001 23:42:45 +0200 | wenzelm | removed obsolete "arities"; | changeset | files |
| Thu, 09 Aug 2001 22:07:39 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 09 Aug 2001 20:48:57 +0200 | oheimb | corrected initialization of locals, streamlined Impl | changeset | files |
| Thu, 09 Aug 2001 19:33:22 +0200 | oheimb | corrected semantics of [iff] concerning rules with premises | changeset | files |
| Thu, 09 Aug 2001 18:51:41 +0200 | oheimb | replaced 1 by 1' | changeset | files |
| Thu, 09 Aug 2001 18:12:15 +0200 | paulson | revisions and indexing | changeset | files |
| Thu, 09 Aug 2001 10:17:45 +0200 | oheimb | added pair_imageI (also as intro rule) | changeset | files |