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 |