| Tue, 26 Oct 2010 14:19:59 -0700 | huffman | use Named_Thms instead of Theory_Data for some domain package theorems | changeset | files |
| Tue, 26 Oct 2010 09:00:07 -0700 | huffman | change types of ML commands add_domain, add_new_domain to take 'sort' instead of 'string option' | changeset | files |
| Tue, 26 Oct 2010 08:36:52 -0700 | huffman | use Term.add_tfreesT | changeset | files |
| Sun, 24 Oct 2010 15:42:57 -0700 | huffman | rename case combinators generated by domain package to 'foo_case' instead of 'foo_when' | changeset | files |
| Sun, 24 Oct 2010 15:19:17 -0700 | huffman | rename constant 'one_when' to 'one_case' | changeset | files |
| Wed, 27 Oct 2010 16:40:34 +0200 | haftmann | merged | changeset | files |
| Wed, 27 Oct 2010 16:40:31 +0200 | haftmann | sorting: avoid _key suffix if lemma applies both to simple and generalized variant; generalized insort_insert to insort_insert_key; additional lemmas | changeset | files |
| Wed, 27 Oct 2010 13:46:30 +0200 | krauss | regenerated keyword file | changeset | files |