| Mon, 12 Dec 2011 23:06:41 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 12 Dec 2011 20:28:34 +0100 |
nipkow |
merged
|
changeset |
files
|
| Mon, 12 Dec 2011 20:28:19 +0100 |
nipkow |
tuned
|
changeset |
files
|
| Mon, 12 Dec 2011 23:05:21 +0100 |
wenzelm |
datatype dtyp with explicit sort information;
|
changeset |
files
|
| Mon, 12 Dec 2011 20:55:57 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 12 Dec 2011 19:47:50 +0100 |
wenzelm |
updated generated file;
|
changeset |
files
|
| Mon, 12 Dec 2011 17:22:48 +0100 |
bulwahn |
tuned quickcheck's response
|
changeset |
files
|
| Mon, 12 Dec 2011 13:45:54 +0100 |
bulwahn |
hiding constants and facts in the Quickcheck_Exhaustive and Quickcheck_Narrowing theory;
|
changeset |
files
|
| Mon, 12 Dec 2011 12:03:34 +0100 |
huffman |
merged
|
changeset |
files
|
| Mon, 12 Dec 2011 08:19:37 +0100 |
huffman |
replace more uses of 'lemmas' with explicit 'lemma';
|
changeset |
files
|
| Mon, 12 Dec 2011 15:32:54 +0900 |
Cezary Kaliszyk |
Add Quotient_Rat: an example of using the quotient package with partial equivalence relations, defining rational numbers.
|
changeset |
files
|
| Sun, 11 Dec 2011 21:57:22 +0100 |
huffman |
fix spelling
|
changeset |
files
|