3 Commits

Author	SHA1	Message	Date
krasimir	7c2bce5779	judgements lindef are now respected by both the parser and the linearizer	2009-12-11 17:39:18 +00:00
krasimir	34c8d78fed	more fixes in the testsuite	2009-09-16 12:49:04 +00:00
krasimir	cfdd39574c	added testcase for linearization with HOAS	2009-06-18 17:47:06 +00:00