emphasize that path induction gives a specified function, close #338
add 4ef49f7 to errata
Merge branch 'pathinduction'

Conflicts:
	errata.tex