Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOLCF/Tools/Domain/domain.ML
Sat, 30 Oct 2010 15:13:11 -0700 huffman change default_sort of HOLCF from pcpo to bifinite; rename command 'new_domain' to 'domain'; rename 'domain' to 'domain (unsafe)' file | diff | annotate
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
less more (0) tip
isabelle