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