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/Library/Strict_Fun.thy
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 21:35:31 -0700 huffman new theorem names: fun_below_iff, fun_belowI, cfun_eq_iff, cfun_eqI, cfun_below_iff, cfun_belowI 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
Fri, 08 Oct 2010 07:39:50 -0700 huffman rename class 'sfp' to 'bifinite' file | diff | annotate
Wed, 06 Oct 2010 10:49:27 -0700 huffman major reorganization/simplification of HOLCF type classes: file | diff | annotate
Mon, 24 May 2010 12:10:24 -0700 huffman move Strict_Fun and Stream theories to new HOLCF/Library directory; add HOLCF/Library to search path file | diff | annotate | base
less more (0) tip
isabelle