Remove unnecessary let
[darcs-mirror-polyfix.git] / Term2Expr.hs
2008-11-12 Joachim BreitnerDaniels Stand von 20081110
2008-10-17 Joachim BreitnerTerm2Expr