igonore all agdai files
simplifying sec 3.3
merge branch 'master' of https://github.com/nzl-nott/PhD-of-nzl

Conflicts:
	2014 LMFTP Paper/BasicLaws.agdai
	2014 LMFTP Paper/BasicSyntax.agdai
	2014 LMFTP Paper/BasicSyntax2.agdai
	2014 LMFTP Paper/BasicSyntax2.lagda
	2014 LMFTP Paper/GroupoidLaws.agdai
	2014 LMFTP Paper/Suspension.agdai
	2014 LMFTP Paper/latex/BasicSyntax.log
	2014 LMFTP Paper/latex/BasicSyntax.pdf
	2014 LMFTP Paper/latex/BasicSyntax2.tex