| Wed, 13 Feb 2013 12:42:59 +0100 | wenzelm | updated isabelle-release URLs; | changeset | files |
| Wed, 13 Feb 2013 13:38:52 +0100 | haftmann | combinator List.those; | changeset | files |
| Wed, 13 Feb 2013 13:38:52 +0100 | haftmann | explicit conversion integer_of_nat already in Code_Numeral_Types; | changeset | files |
| Wed, 13 Feb 2013 13:38:52 +0100 | haftmann | IArray ignorant of particular representation of nat | changeset | files |