huffman [Thu, 19 Nov 2009 21:44:37 -0800] rev 33802
add map_ID lemmas
huffman [Thu, 19 Nov 2009 21:06:22 -0800] rev 33801
domain_isomorphism package defines combined copy function
nipkow [Fri, 20 Nov 2009 07:24:21 +0100] rev 33800
merged
nipkow [Fri, 20 Nov 2009 07:24:08 +0100] rev 33799
added Rene Thiemann's normalize function
nipkow [Fri, 20 Nov 2009 07:23:36 +0100] rev 33798
added lemma
huffman [Thu, 19 Nov 2009 20:09:56 -0800] rev 33797
merged
huffman [Thu, 19 Nov 2009 17:53:22 -0800] rev 33796
domain_isomorphism package defines copy functions
huffman [Thu, 19 Nov 2009 16:50:25 -0800] rev 33795
copy_of_dtyp uses map table from theory data
huffman [Thu, 19 Nov 2009 16:48:40 -0800] rev 33794
Domain.thy imports Representable.thy
huffman [Thu, 19 Nov 2009 16:47:18 -0800] rev 33793
fix definitions of copy combinators