Changes to hnat, mostly replacing names with notations
Some more cosmetic changes to hnat
A modification, with an eye on teaching, of fromempty
Resoved a conflict related to moving some material from uu0c to uu0b
Completeing a pull request
reinserted 2 lemmas about paths in total2
Merge pull request #16 from benediktahrens/vv-master

reinserted 2 lemmas about paths in total2
Merge pull request #65 from vladimirias/master

Some cosmetic changes mostly to hnat