remove checks and abouts
update gitignore
Merge pull request #2 from benediktahrens/removeprints

remove checks and abouts
add clean2 target to Makefile
Merge branch 'master' of github.com:UnivalentMathematics/Foundations
Merge pull request #3 from benediktahrens/gitignore

update gitignore
update README
Merge branch 'master' of github.com:UnivalentMathematics/Foundations
remove some development files

They remain visible on the develpment branch at my fork,
https://github.com/DanGrayson/Foundations
Merge pull request #4 from DanGrayson/master

remove some development files
improve "make clean"
stop using notation transport for transportf
Merge pull request #5 from DanGrayson/pull-1

stop using notation transport for transportf
Merge branch 'master' of github.com:UnivalentMathematics/Foundations
add a comment
add path' to Utilities
update Utilities
torsors ...
torsors ...
torsors ...