| Wed, 14 Mar 2012 12:39:04 +0000 | paulson | rationalising the induction rule trans_induct3 | changeset | files |
| Wed, 14 Mar 2012 12:20:42 +0100 | haftmann | allow modification of REPOS_NAME and REPOS from outside | changeset | files |
| Wed, 14 Mar 2012 20:34:20 +0100 | wenzelm | locale expressions without source positions; | changeset | files |
| Wed, 14 Mar 2012 19:27:15 +0100 | wenzelm | tuned; | changeset | files |