HOL-Theorem-Prover/HOL — pull request #185 by ptroja (2014-08-10 22:45:54+00:00)
Title: One more extra space in documentation

In previous pull requests I missed to remove one extra space.

nm200: Thank you for your comments!