Fixes issue 232. Also some stupid syntax changes, on which idea was complaining.

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1454 85d21ef8-add0-11de-ae77-5bfb9c5a3f34
hlk now specifies proofs from the root to the axioms (was otherwise round before)

git-svn-id: http://gapt.googlecode.com/svn/trunk/source@1455 85d21ef8-add0-11de-ae77-5bfb9c5a3f34