induction_pr with arguments

Make a version of induction_pr with arguments.

"induction_pr H"

Same for "induction_ty_lex".

Edited Oct 31, 2017 by DAILLER Sylvain

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information