| Fri, 30 Jul 2004 18:37:58 +0200 | paulson | conversion of Integration and NSPrimes to Isar scripts | changeset | files |
| Fri, 30 Jul 2004 10:44:42 +0200 | wenzelm | keep type_solver; | changeset | files |
| Fri, 30 Jul 2004 10:44:34 +0200 | wenzelm | tuned dependencies; | changeset | files |
| Fri, 30 Jul 2004 10:44:27 +0200 | wenzelm | added context type solver; | changeset | files |
| Fri, 30 Jul 2004 10:42:19 +0200 | wenzelm | ZF/Simplifier: second copy of context type solver; | changeset | files |
| Fri, 30 Jul 2004 10:41:52 +0200 | wenzelm | tuned output; | changeset | files |
| Thu, 29 Jul 2004 17:45:21 +0200 | berghofe | - optimized nodup_vars check in capply | changeset | files |