src/HOLCF/Representable.thy
2010-03-03 wenzelm 2010-03-03 cleanup type translations;
2009-11-19 huffman 2009-11-19 store map_ID thms in theory data; automate proofs of reach lemmas
2009-11-19 huffman 2009-11-19 set up domain_isomorphism package in Representable.thy
2009-11-19 huffman 2009-11-19 add lemma isodefl_cprod
2009-11-19 huffman 2009-11-19 change naming convention for deflation combinators
2009-11-18 huffman 2009-11-18 remove one_typ and tr_typ; add abs/rep lemmas
2009-11-13 huffman 2009-11-13 automate definition of representable domains from algebraic deflations
2009-11-10 huffman 2009-11-10 add title/author block
2009-11-10 huffman 2009-11-10 theory of representable cpos