| Sat, 24 Nov 2001 16:53:31 +0100 | wenzelm | tuned; | changeset | files |
| Sat, 24 Nov 2001 13:58:19 +0100 | berghofe | Extended match_proof to handle abstractions. | changeset | files |
| Fri, 23 Nov 2001 19:20:58 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 23 Nov 2001 19:20:06 +0100 | wenzelm | improved ordering of evaluated elements; | changeset | files |
| Fri, 23 Nov 2001 19:19:35 +0100 | wenzelm | time_use_thy "Locales"; | changeset | files |
| Fri, 23 Nov 2001 17:19:14 +0100 | nipkow | Isar conversion | changeset | files |
| Thu, 22 Nov 2001 23:46:33 +0100 | wenzelm | theory Locales temporarily disabled; | changeset | files |