Merge pull request #10 from wagh/devel

Documented Horrocks