Merge pull request #188 from ptroja/master

Minor fixes to "LOGIC" manual
PDF search did not worked for underscore (_)
Merge branch 'master' of github.com:ptroja/HOL