| Wed, 13 Jan 2016 15:17:11 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 13 Jan 2016 15:09:34 +0100 | wenzelm | Eisbach instantiation attributes are like Thm.rule_attribute (in correspondence to Pure versions), but without the built-in treatment of free dummy thms (see also fb7756087101); | changeset | files |
| Wed, 13 Jan 2016 09:38:24 +0100 | nipkow | merged | changeset | files |