| Fri, 27 Jul 2018 17:32:16 +0200 | wenzelm | proper adjust_maxidx: assms could have maxidx >= 0, e.g. from command "subgoal premises"; | changeset | files |
| Fri, 27 Jul 2018 17:27:42 +0200 | wenzelm | proper maxidx: if x does not occur in A, its maxidx could get lost; | changeset | files |