Synchronized names from the "as" clause with the skeleton of the

elimination scheme in induction/destruct also for those names which
correspond to neither the induction hypotheses nor the recursive
arguments.

0 files changed, 0 insertions, 0 deletions