HOL-Theorem-Prover/HOL — pull request #192 by ptroja (2014-08-29 10:58:45+00:00)
Title: Yet another minor fixes, mostly to documentation

All duplicate words removed from .doc and .tex files; non-script files in src/ marked as non-executable; few typos fixed.