| Sat, 05 Jul 2014 16:29:19 +0200 | wenzelm | Added tag Isabelle2014-RC0 for changeset 251ef0202e71 | changeset | files |
| Sat, 05 Jul 2014 16:28:07 +0200 | wenzelm | merged | changeset | files |
| Sat, 05 Jul 2014 13:39:53 +0200 | wenzelm | modernized definitions; | changeset | files |
| Sat, 05 Jul 2014 13:21:53 +0200 | wenzelm | proper plain_args to ensure that multi-argument overloading cannot escape pattern restriction (despite more liberal structural containment before 3ae3cc4b1eac); | changeset | files |