../ Expr.hs 15-Feb-2019 14:37 3484 FreeTheorem.hs 15-Feb-2019 14:37 9634 Parse.hs 15-Feb-2019 14:37 6931 Test.hs 15-Feb-2019 14:37 1142 Theorem.hs 15-Feb-2019 14:37 6106 Type.hs 15-Feb-2019 14:37 7270 Util.hs 15-Feb-2019 14:37 554