| Wed, 02 Apr 2014 16:34:37 +0100 | paulson | New theorems for extracting quotients | changeset | files |
| Wed, 02 Apr 2014 17:11:44 +0200 | wenzelm | more contributors; | changeset | files |
| Tue, 01 Apr 2014 14:24:28 +0200 | Andreas Lochbihler | document value generation for quickcheck's testers | changeset | files |
| Wed, 02 Apr 2014 13:53:32 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Wed, 02 Apr 2014 13:54:50 +0200 | wenzelm | suppress slightly odd completion of "simp"; | changeset | files |
| Wed, 02 Apr 2014 13:03:01 +0200 | wenzelm | observe extra line spacing for output as well; | changeset | files |