| Fri, 23 Mar 2012 14:17:29 +0100 | kuncar | fix Quotient_Examples | file | diff | annotate |
| Mon, 09 Jan 2012 18:32:56 +0100 | blanchet | revert unintended "sledgehammer" call | file | diff | annotate |
| Tue, 03 Jan 2012 23:09:27 +0100 | blanchet | tuning | file | diff | annotate |
| Tue, 03 Jan 2012 23:03:49 +0100 | blanchet | updated Nitpick docs after "set" reintroduction | file | diff | annotate |
| Tue, 03 Jan 2012 18:33:18 +0100 | blanchet | no abuse of notation | file | diff | annotate |
| Sat, 24 Dec 2011 15:53:10 +0100 | haftmann | adjusted to set/pred distinction by means of type constructor `set` | file | diff | annotate |