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/Powerdomains.thy
Fri, 26 Nov 2010 15:24:11 -0800 huffman remove map function names from domain package theory data file | diff | annotate
Mon, 08 Nov 2010 15:13:45 -0800 huffman implement defl_of_typ using Pattern.rewrite_term instead of DeflData theory data file | diff | annotate
Wed, 27 Oct 2010 11:10:36 -0700 huffman make domain package work with non-cpo argument types file | diff | annotate
Tue, 26 Oct 2010 14:19:59 -0700 huffman use Named_Thms instead of Theory_Data for some domain package theorems file | diff | annotate
Mon, 11 Oct 2010 08:32:09 -0700 huffman renamed type and constant 'sfp' to 'defl'; replaced syntax SFP('a) with DEFL('a) file | diff | annotate
Wed, 06 Oct 2010 10:49:27 -0700 huffman major reorganization/simplification of HOLCF type classes: file | diff | annotate
Tue, 05 Oct 2010 17:53:00 -0700 Brian Huffman add lemma finite_deflation_intro file | diff | annotate
Sun, 28 Feb 2010 18:33:57 -0800 huffman store deflation thms for map functions in theory data file | diff | annotate
Sun, 28 Feb 2010 14:55:42 -0800 huffman move some powerdomain stuff into a new file file | diff | annotate
less more (0) tip
isabelle