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 |