Mon, 12 Dec 2011 17:22:48 +0100 tuned quickcheck's response
bulwahn [Mon, 12 Dec 2011 17:22:48 +0100] rev 45819
tuned quickcheck's response
Mon, 12 Dec 2011 13:45:54 +0100 hiding constants and facts in the Quickcheck_Exhaustive and Quickcheck_Narrowing theory;
bulwahn [Mon, 12 Dec 2011 13:45:54 +0100] rev 45818
hiding constants and facts in the Quickcheck_Exhaustive and Quickcheck_Narrowing theory;
Mon, 12 Dec 2011 12:03:34 +0100 merged
huffman [Mon, 12 Dec 2011 12:03:34 +0100] rev 45817
merged
Mon, 12 Dec 2011 08:19:37 +0100 replace more uses of 'lemmas' with explicit 'lemma';
huffman [Mon, 12 Dec 2011 08:19:37 +0100] rev 45816
replace more uses of 'lemmas' with explicit 'lemma'; replace uses of 'simplified' attribute with 'unfolded'; remove unused intermediate lemmas.
Mon, 12 Dec 2011 15:32:54 +0900 Add Quotient_Rat: an example of using the quotient package with partial equivalence relations, defining rational numbers.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 12 Dec 2011 15:32:54 +0900] rev 45815
Add Quotient_Rat: an example of using the quotient package with partial equivalence relations, defining rational numbers.
Sun, 11 Dec 2011 21:57:22 +0100 fix spelling
huffman [Sun, 11 Dec 2011 21:57:22 +0100] rev 45814
fix spelling
Sun, 11 Dec 2011 21:54:20 +0100 fix spelling
huffman [Sun, 11 Dec 2011 21:54:20 +0100] rev 45813
fix spelling
Sun, 11 Dec 2011 18:22:06 +0100 added IMP/Live_True.thy
nipkow [Sun, 11 Dec 2011 18:22:06 +0100] rev 45812
added IMP/Live_True.thy
Sun, 11 Dec 2011 09:55:57 +0100 replace many uses of 'lemmas' with 'lemma';
huffman [Sun, 11 Dec 2011 09:55:57 +0100] rev 45811
replace many uses of 'lemmas' with 'lemma'; remove many unused intermediate lemmas.
Sat, 10 Dec 2011 22:00:42 +0100 prove class instances without extra lemmas
huffman [Sat, 10 Dec 2011 22:00:42 +0100] rev 45810
prove class instances without extra lemmas
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip