| Thu, 02 Feb 2012 20:26:44 +0100 | wenzelm | misc tuning and reformatting; | file | diff | annotate |
| Thu, 02 Feb 2012 16:38:15 +0100 | wenzelm | misc tuning and reformatting; | file | diff | annotate |
| Thu, 29 Dec 2011 14:44:44 +0100 | wenzelm | updated generated files; | file | diff | annotate |
| 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 |