| Wed, 28 Nov 2001 00:37:40 +0100 | wenzelm | tuned declarations; | changeset | files |
| Wed, 28 Nov 2001 00:37:08 +0100 | wenzelm | tuned; | changeset | files |
| Tue, 27 Nov 2001 13:28:26 +0100 | wenzelm | make SML/NJ happy; | changeset | files |
| Mon, 26 Nov 2001 23:24:27 +0100 | wenzelm | added Pure/Isar/rule_context.ML; | changeset | files |
| Mon, 26 Nov 2001 23:23:33 +0100 | wenzelm | gcd_dvd1 and gcd_dvd2 proven simultaneously; | changeset | files |
| Mon, 26 Nov 2001 18:34:17 +0100 | wenzelm | moved lemmas to theory Hilbert_Choice; | changeset | files |
| Mon, 26 Nov 2001 18:33:57 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 26 Nov 2001 18:33:21 +0100 | wenzelm | added remdups_rl; | changeset | files |
| Mon, 26 Nov 2001 18:33:08 +0100 | wenzelm | clarified order of merge_lists'; | changeset | files |
| Mon, 26 Nov 2001 17:48:22 +0100 | wenzelm | clarified order in gen_merge_lists'; | changeset | files |
| Sat, 24 Nov 2001 17:21:47 +0100 | wenzelm | fixed SML/NJ error (!?); | changeset | files |
| Sat, 24 Nov 2001 17:02:39 +0100 | wenzelm | use merge_lists, merge_alists; | changeset | files |
| Sat, 24 Nov 2001 17:01:00 +0100 | wenzelm | Symtab.merge_multi'; | changeset | files |
| Sat, 24 Nov 2001 17:00:35 +0100 | wenzelm | type variables: clarified "used" vs. "occ"; | changeset | files |
| Sat, 24 Nov 2001 16:59:44 +0100 | wenzelm | Library.gen_merge_lists'; | changeset | files |