| Wed, 07 Jun 2006 02:01:30 +0200 | wenzelm | added Tools/invoke.ML; | changeset | files |
| Wed, 07 Jun 2006 02:01:28 +0200 | wenzelm | renamed Type.(un)varifyT to Logic.(un)varifyT; | changeset | files |
| Wed, 07 Jun 2006 02:01:27 +0200 | wenzelm | do not open Logic; | changeset | files |
| Wed, 07 Jun 2006 01:59:17 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 07 Jun 2006 01:51:22 +0200 | wenzelm | removed obsolete ML files; | changeset | files |
| Wed, 07 Jun 2006 01:06:53 +0200 | wenzelm | removed obsolete ML files; | changeset | files |
| Wed, 07 Jun 2006 00:57:14 +0200 | wenzelm | removed obsolete ML files; | changeset | files |