krasimir 7c2bce5779 judgements lindef are now respected by both the parser and the linearizer

2009-12-11 17:39:18 +00:00

..

linearize.gfs

more fixes in the testsuite

2009-09-16 12:49:04 +00:00

linearize.gfs.gold

added testcase for linearization with HOAS

2009-06-18 17:47:06 +00:00

Test.gf

added testcase for linearization with HOAS

2009-06-18 17:47:06 +00:00

TestCnc.gf

judgements lindef are now respected by both the parser and the linearizer

2009-12-11 17:39:18 +00:00