Wed, 01 May 1996 10:35:06 +0200 | paulson | tidied some proofs | changeset | files |
Tue, 30 Apr 1996 17:32:29 +0200 | nipkow | Added an equivalence proof which avoids the use of -n-> | changeset | files |
Tue, 30 Apr 1996 17:30:54 +0200 | nipkow | Added backwards rtrancl_induct and special versions for pairs. | changeset | files |
Tue, 30 Apr 1996 13:40:32 +0200 | clasohm | changed ident_no_colon so that it forbids postfix "=", too | changeset | files |