2014-06-12 | nipkow | new theory of binary trees | changeset | files |
2014-06-12 | haftmann | formal variable name: IVar NONE is strictly spoken not supported on lhs of function definitions, e.g. in Scala | changeset | files |
2014-06-12 | nipkow | merged | changeset | files |
2014-06-12 | nipkow | added [simp] | changeset | files |
Loading... |