translation of almosta all chapter libraries and some minor corrections
Merge branch 'master' of https://github.com/mn200/HOL
Merge pull request #158 from domasin/master

Chapter libraries translation