Wed, 04 Nov 2009 10:17:58 +0100 nipkow merged
Wed, 04 Nov 2009 10:17:43 +0100 nipkow fixed order of parameters in induction rules
Wed, 04 Nov 2009 09:43:25 +0100 krauss added bulwahn to isatest mailings
Wed, 04 Nov 2009 09:18:46 +0100 nipkow merged
Wed, 04 Nov 2009 09:18:03 +0100 nipkow Completely overhauled
Tue, 03 Nov 2009 19:01:06 -0800 huffman better error handling for fixrec_simp
Tue, 03 Nov 2009 18:33:16 -0800 huffman add more fixrec_simp rules
Tue, 03 Nov 2009 18:32:56 -0800 huffman fixrec examples use fixrec_simp instead of fixpat
Tue, 03 Nov 2009 18:32:30 -0800 huffman domain package registers fixrec_simp lemmas
Tue, 03 Nov 2009 17:09:27 -0800 huffman merged
Tue, 03 Nov 2009 17:03:21 -0800 huffman add fixrec_simp attribute and method (eventually to replace fixpat)
Tue, 03 Nov 2009 23:44:16 +0100 boehmes proper and unique case names for the split_vc method,
Tue, 03 Nov 2009 19:32:08 +0100 haftmann merged
Tue, 03 Nov 2009 17:08:57 +0100 haftmann merged
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip