Tue, 29 Aug 2000 11:52:16 +0200 | wenzelm | updated; | changeset | files |
Tue, 29 Aug 2000 00:57:24 +0200 | wenzelm | Lambda/InductTermi made new-style theory; | changeset | files |
Tue, 29 Aug 2000 00:56:22 +0200 | wenzelm | proper cong setup; | changeset | files |