| Wed, 21 Dec 2011 14:38:21 +0100 | bulwahn | added some basic documentation about method induction_schema extracted from old NEWS | file | diff | annotate |
| Wed, 21 Dec 2011 14:24:29 +0100 | bulwahn | adding documentation about the quickcheck_generator command in the IsarRef | file | diff | annotate |
| Tue, 13 Dec 2011 23:23:51 +0100 | wenzelm | 'datatype' specifications allow explicit sort constraints; | file | diff | annotate |
| Mon, 05 Dec 2011 14:47:01 +0100 | kuncar | merged | file | diff | annotate |
| Mon, 05 Dec 2011 14:44:46 +0100 | kuncar | the note about morphisms moved in the description part | file | diff | annotate |
| Mon, 05 Dec 2011 12:36:28 +0100 | bulwahn | updating documentation about quiet and verbose options in quickcheck | file | diff | annotate |