Fri, 20 Nov 2009 10:40:30 +0100 merged
wenzelm [Fri, 20 Nov 2009 10:40:30 +0100] rev 33816
merged
Fri, 20 Nov 2009 09:22:14 +0100 merged
nipkow [Fri, 20 Nov 2009 09:22:14 +0100] rev 33815
merged
Fri, 20 Nov 2009 09:21:59 +0100 Rene tuned proof
nipkow [Fri, 20 Nov 2009 09:21:59 +0100] rev 33814
Rene tuned proof
Fri, 20 Nov 2009 00:06:04 -0800 example theory for new domain package
huffman [Fri, 20 Nov 2009 00:06:04 -0800] rev 33813
example theory for new domain package
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
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip