| Sat, 24 Nov 2001 16:58:57 +0100 | wenzelm | print_locale: expr; | changeset | files |
| Sat, 24 Nov 2001 16:58:31 +0100 | wenzelm | added join, merge_multi('); | changeset | files |
| Sat, 24 Nov 2001 16:57:34 +0100 | wenzelm | merge_stamps: merge_lists' with reversed args; | changeset | files |
| Sat, 24 Nov 2001 16:56:26 +0100 | wenzelm | gen_merge_lists; | changeset | files |
| Sat, 24 Nov 2001 16:55:56 +0100 | wenzelm | added gen_merge_lists(') and merge_lists('); | changeset | files |
| Sat, 24 Nov 2001 16:55:00 +0100 | wenzelm | gen_merge_lists'; | changeset | files |
| Sat, 24 Nov 2001 16:54:32 +0100 | wenzelm | generic_merge; | changeset | files |
| Sat, 24 Nov 2001 16:54:10 +0100 | wenzelm | converted simp lemmas; | changeset | files |
| 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 |
| Thu, 22 Nov 2001 23:45:57 +0100 | wenzelm | beginnings of actual locale expressions; | changeset | files |
| Thu, 22 Nov 2001 23:45:23 +0100 | wenzelm | improved locale expression syntax; | changeset | files |
| Thu, 22 Nov 2001 23:44:57 +0100 | wenzelm | locale expression import; | changeset | files |
| Thu, 22 Nov 2001 23:44:30 +0100 | wenzelm | import locale expression; | changeset | files |
| Thu, 22 Nov 2001 23:15:12 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 22 Nov 2001 17:14:17 +0100 | wenzelm | added uname; | changeset | files |
| Thu, 22 Nov 2001 17:13:36 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 22 Nov 2001 17:13:24 +0100 | wenzelm | thm "point.defs"; | changeset | files |
| Thu, 22 Nov 2001 17:13:06 +0100 | wenzelm | recovered original "make"; | changeset | files |
| Thu, 22 Nov 2001 17:12:08 +0100 | wenzelm | renamed "fields" to "flds" (avoid clash with new "fields" operation); | changeset | files |
| Wed, 21 Nov 2001 20:20:18 +0100 | wenzelm | locale expressions; | changeset | files |
| Wed, 21 Nov 2001 00:36:51 +0100 | wenzelm | use tracing function for trace output; | changeset | files |
| Wed, 21 Nov 2001 00:35:13 +0100 | wenzelm | tracing_fn; | changeset | files |