Convert Daniels Term to my Expr, and insert into theorem
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 17 Oct 2008 09:04:25 +0000 (09:04 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 17 Oct 2008 09:04:25 +0000 (09:04 +0000)
commit86f2e1d6bfe7b8dbfb29541a52faf093dfdd4171
tree5415b9053424f6de96af76d34891dd4dac0f39c6
parente85d3a923c7b369b683bfaceb402fdc78b37bd02
Convert Daniels Term to my Expr, and insert into theorem
ExFindExtended.hs
Expr.hs
polyfix-cgi.hs