Fri, 07 Feb 1997 17:14:33 +0100 | wenzelm | tuned; | changeset | files |
Fri, 07 Feb 1997 14:15:35 +0100 | nipkow | Modified proofs due to added triv_forall_equality. | changeset | files |
Fri, 07 Feb 1997 14:13:58 +0100 | nipkow | Modified proofs because of added "triv_forall_equality". | changeset | files |