Change the induction principle of V
fix an ambiguous sentence
Merge pull request #712 from jledent/master

Change the induction principle of V
changed rule name macros
fixed the errata
another fix for errata
Merge pull request #725 from EgbertRijke/rulenames

changed rule name macros