| Wed, 28 Jan 2015 19:23:03 +0100 | wenzelm | tuned comment; | changeset | files |
| Wed, 28 Jan 2015 19:18:08 +0100 | wenzelm | tuned signature; | changeset | files |
| Wed, 28 Jan 2015 19:15:13 +0100 | wenzelm | clarified module name; | changeset | files |
| Wed, 28 Jan 2015 08:29:08 +0100 | haftmann | abstract code equation may also be default | changeset | files |
| Wed, 28 Jan 2015 08:29:08 +0100 | haftmann | proper term_of for iarray | changeset | files |
| Wed, 28 Jan 2015 08:29:08 +0100 | haftmann | string printing conformant to both (S)ML and Isabelle/ML | changeset | files |
| Wed, 28 Jan 2015 14:24:29 +0100 | eberlm | Fixed bug in bugfix for function package | changeset | files |