isabelle: Changelog

huffman [Thu, 19 Nov 2009 10:45:34 -0800] rev 33789

separate conjuncts of isodefl theorem

huffman [Thu, 19 Nov 2009 10:27:29 -0800] rev 33788

automate isodefl proof

huffman [Thu, 19 Nov 2009 10:26:53 -0800] rev 33787

change example to use recursion with continuous function space

huffman [Thu, 19 Nov 2009 10:25:17 -0800] rev 33786

add lemma isodefl_cprod

huffman [Thu, 19 Nov 2009 09:04:58 -0800] rev 33785

automate definition of map functions; remove unused code

huffman [Thu, 19 Nov 2009 08:22:00 -0800] rev 33784

change naming convention for deflation combinators

huffman [Thu, 19 Nov 2009 08:08:57 -0800] rev 33783

add new makefile dependencies

huffman [Thu, 19 Nov 2009 08:00:42 -0800] rev 33782

prove isomorphism and isodefl rules

huffman [Thu, 19 Nov 2009 07:09:04 -0800] rev 33781

avoid using csplit; define copy functions exactly like the current domain package

huffman [Thu, 19 Nov 2009 06:01:02 -0800] rev 33780

merged

isabelle