isabelle: Changelog

nipkow [Mon, 12 Dec 2011 20:28:19 +0100] rev 45823

tuned

wenzelm [Mon, 12 Dec 2011 23:05:21 +0100] rev 45822

datatype dtyp with explicit sort information; tuned messages;

wenzelm [Mon, 12 Dec 2011 20:55:57 +0100] rev 45821

tuned;

wenzelm [Mon, 12 Dec 2011 19:47:50 +0100] rev 45820

updated generated file;

bulwahn [Mon, 12 Dec 2011 17:22:48 +0100] rev 45819

tuned quickcheck's response

bulwahn [Mon, 12 Dec 2011 13:45:54 +0100] rev 45818

hiding constants and facts in the Quickcheck_Exhaustive and Quickcheck_Narrowing theory;

huffman [Mon, 12 Dec 2011 12:03:34 +0100] rev 45817

merged

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.

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.

huffman [Sun, 11 Dec 2011 21:57:22 +0100] rev 45814

fix spelling

isabelle