| 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 |