Added notation == for pointwise equality of functions.
Merge branch 'master' of https://github.com/HoTT/HoTT into pll_master
Merge pull request #66 from peterlefanulumsdaine/pll_master

Added notation [==] for pointwise function equality
Merge branch 'master' of github.com:HoTT/HoTT
Use "instantiate" in Record.v instead of a NOOP match