Thu, 19 Nov 2009 23:15:24 -0800 thy_decl outer syntax for repdef
huffman [Thu, 19 Nov 2009 23:15:24 -0800] rev 33812
thy_decl outer syntax for repdef
Thu, 19 Nov 2009 22:30:14 -0800 merged
huffman [Thu, 19 Nov 2009 22:30:14 -0800] rev 33811
merged
Thu, 19 Nov 2009 22:28:36 -0800 nicer warning message for indirect-recursive domain definitions
huffman [Thu, 19 Nov 2009 22:28:36 -0800] rev 33810
nicer warning message for indirect-recursive domain definitions
Thu, 19 Nov 2009 22:25:11 -0800 store map_ID thms in theory data; automate proofs of reach lemmas
huffman [Thu, 19 Nov 2009 22:25:11 -0800] rev 33809
store map_ID thms in theory data; automate proofs of reach lemmas
Thu, 19 Nov 2009 21:44:37 -0800 add map_ID lemmas
huffman [Thu, 19 Nov 2009 21:44:37 -0800] rev 33808
add map_ID lemmas
Thu, 19 Nov 2009 21:06:22 -0800 domain_isomorphism package defines combined copy function
huffman [Thu, 19 Nov 2009 21:06:22 -0800] rev 33807
domain_isomorphism package defines combined copy function
Fri, 20 Nov 2009 07:24:21 +0100 merged
nipkow [Fri, 20 Nov 2009 07:24:21 +0100] rev 33806
merged
Fri, 20 Nov 2009 07:24:08 +0100 added Rene Thiemann's normalize function
nipkow [Fri, 20 Nov 2009 07:24:08 +0100] rev 33805
added Rene Thiemann's normalize function
Fri, 20 Nov 2009 07:23:36 +0100 added lemma
nipkow [Fri, 20 Nov 2009 07:23:36 +0100] rev 33804
added lemma
Thu, 19 Nov 2009 20:09:56 -0800 merged
huffman [Thu, 19 Nov 2009 20:09:56 -0800] rev 33803
merged
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip