The syntax of the new HLK was changed according to the
proposals of Daniel made during the discussion 
on the last project meeting.
The labels were removed, the contractions are done automatically.

Please, have a look at the input file "proof1.lk". I am looking
forward to your comments before I continue work on the new HLK 
parser.



 




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