| Wed, 12 Mar 2014 21:28:09 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 12 Mar 2014 17:25:28 +0100 | wenzelm | tuned proofs; | changeset | files |
| Wed, 12 Mar 2014 17:02:05 +0100 | wenzelm | more explicit markup and explanation of the improper status of 'back', following the AFP style-guide; | changeset | files |