| Fri, 10 Feb 2012 09:02:51 +0100 | Cezary Kaliszyk | specification of the quotient package | file | diff | annotate |
| 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 10:47:55 +0100 | haftmann | attribute code_abbrev superseedes code_unfold_post | 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 |