| Wed, 07 Jun 2006 02:01:36 +0200 | wenzelm | Schematic invocation of locale expression in proof context. | changeset | files |
| Wed, 07 Jun 2006 02:01:35 +0200 | wenzelm | added invoke.ML; | changeset | files |
| Wed, 07 Jun 2006 02:01:34 +0200 | wenzelm | added locale_insts; | changeset | files |
| Wed, 07 Jun 2006 02:01:33 +0200 | wenzelm | renamed Type.(un)varifyT to Logic.(un)varifyT; | changeset | files |
| Wed, 07 Jun 2006 02:01:32 +0200 | wenzelm | added 'if' and 'for' keywords; | changeset | files |
| Wed, 07 Jun 2006 02:01:31 +0200 | wenzelm | added facts_of; | changeset | files |
| 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 |
| Tue, 06 Jun 2006 20:47:12 +0200 | wenzelm | removed Toplevel.debug; | changeset | files |