| Tue, 14 Feb 2012 12:40:55 +0100 | wenzelm | merged, resolving trivial conflicts; | file | diff | annotate |
| Fri, 10 Feb 2012 09:47:59 +0100 | Cezary Kaliszyk | more specification of the quotient package in IsarRef | file | diff | annotate |
| 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 |