Convert Daniels Term to my Expr, and insert into theorem
-rw-r--r-- 52160 ExFindExtended.hs
-rw-r--r-- 16107 Expr.hs
-rw-r--r-- 814 M.hs
-rw-r--r-- 3722 ParseType.hs
-rw-r--r-- 95 Setup.hs
-rw-r--r-- 3732 SimpleFT.hs
-rw-r--r-- 14367 TestItExt.hs
-rw-r--r-- 6466 polyfix-cgi.hs
-rw-r--r-- 1005 polyfix.cabal