isabelle: Changelog

huffman [Thu, 19 Nov 2009 12:31:55 -0800] rev 33793

automate proofs of map_ID theorems

huffman [Thu, 19 Nov 2009 12:05:49 -0800] rev 33792

change Theory.requires

huffman [Thu, 19 Nov 2009 11:54:23 -0800] rev 33791

use theory data for REP_simps and isodefl_rules

huffman [Thu, 19 Nov 2009 11:13:34 -0800] rev 33790

replace defl_tab and map_tab with theory data

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

isabelle