proofmode/tactics.v · 61e8aadd58880bd892c866edf20cc4da8e3dab50 · Rodolphe Lepigre / Iris · GitLab

Sep 27, 2016
61e8aadd
Consistent syntax for generalization in iLöb and iInduction. · 61e8aadd
Robbert Krebbers authored Sep 27, 2016
```
As proposed by JH Jourdan in issue 34.
```
61e8aadd
Consistent syntax for generalization in iLöb and iInduction.
Robbert Krebbers authored Sep 27, 2016
```
As proposed by JH Jourdan in issue 34.
```