| 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 |
| Wed, 27 Oct 2010 08:58:03 +0200 | boehmes | made SML/NJ happy | changeset | files |
| Tue, 26 Oct 2010 21:51:04 +0200 | blanchet | adapted SMT solver error handling to reflect latest changes in "SMT_Solver" | changeset | files |