Merge pull request #2 from wagh/devel

First version of Horrocks
Modified Horrocks