change Axiom etacorrection to a Definition
Merge pull request #16 from DanGrayson/pull-10

change Axiom etacorrection to a Definition
Last commit before migration to UniMath
Directory Current_work added
Merge remote-tracking branch 'remotes/Foundations/master' into import-Foundations
move Current_work into Foundations
Merge remote-tracking branch 'remotes/Foundations/master'
move Current_work into Foundations
Merge branch 'master' of github.com:UniMath/UniMath