knuton/proof-theory — pull request #17 by knuton (2012-10-20 17:32:07+00:00)
Title: Update instantiation def to match substitution

Removed definition of term substitution from Normalisation section and improved definition of instantiation.