2010-03-10 Cezary Kaliszyk Reordered examples in Test.
2010-03-10 Cezary Kaliszyk Allows multiple bindings with same lhs.
2010-03-10 Cezary Kaliszyk Linked parser to fv and alpha.
2010-03-10 Cezary Kaliszyk merge
2010-03-10 Cezary Kaliszyk A minor fix for shallow binders. LF works again.
2010-03-10 Christian Urban merged
2010-03-10 Christian Urban parser produces ordered bn-fun information
2010-03-10 Cezary Kaliszyk Testing equalities in trm5, all seems good.
Loading...
(0) -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 tip