| Fri, 04 Apr 2014 13:22:15 +0200 | Andreas Lochbihler | add missing adaptation for narrowing to work with variables of type integer => integer | changeset | files |
| Fri, 04 Apr 2014 12:37:57 +0200 | wenzelm | merged | changeset | files |
| Fri, 04 Apr 2014 12:07:48 +0200 | wenzelm | added ML antiquotation @{print}; | changeset | files |