Merge pull request #3 from wagh/devel

fixed bug in Horrocks
Added 2 more examples

* LaubenbacherWoodburn.g
* vandenEssen.g