Tue, 29 Aug 2000 11:52:47 +0200 | wenzelm | improved isabellepar env; | changeset | files |
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 |
Tue, 29 Aug 2000 00:55:59 +0200 | wenzelm | Simplifier.cong_add_global; | changeset | files |
Tue, 29 Aug 2000 00:55:31 +0200 | wenzelm | cong setup now part of Simplifier; | changeset | files |
Tue, 29 Aug 2000 00:54:22 +0200 | wenzelm | updated cong stuff; | changeset | files |