enhanced simplifyAbsTerm and corrected error for App <Case> <Term>
[darcs-mirror-polyfix.git] / ExFindExtended.hs
2008-11-17 seideldenhanced simplifyAbsTerm and corrected error for App... master
2008-11-17 seideldreplaced Case1 by Case and thus removed Convert-Error...
2008-11-17 seideldadded comments on the different case statements of...
2008-11-14 Joachim BreitnerDanies Ă„nderungen von 20081114
2008-11-12 Joachim BreitnerDaniels Stand von 20081110
2008-10-17 Joachim BreitnerBefore Lambda untyping
2008-10-17 Joachim BreitnerConvert Daniels Term to my Expr, and insert into theorem
2008-10-16 Joachim BreitnerCabalize
2008-10-15 Joachim BreitnerAdd nice getComplete' function
2008-10-15 Joachim BreitnerDaniels Code