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' | file | diff | annotate |
Sat, 23 Oct 2010 19:56:33 -0700 | huffman | remove legacy comp_dbind option from domain package | file | diff | annotate |
Wed, 20 Oct 2010 16:19:25 -0700 | huffman | combine check_and_sort_domain with main function; rewrite much of the error-checking code | file | diff | annotate |
Wed, 20 Oct 2010 13:22:30 -0700 | huffman | constructor arguments with selectors must have pointed types | file | diff | annotate |
Wed, 20 Oct 2010 13:02:13 -0700 | huffman | simplify check_and_sort_domain; more meaningful variable names | file | diff | annotate |
Tue, 19 Oct 2010 15:01:51 -0700 | huffman | rename domain_theorems.ML to domain_induction.ML; rename domain_extender.ML to domain.ML | file | diff | annotate | base |