descriptionMirror of
last changeMon, 17 Nov 2008 11:45:55 +0000 (11:45 +0000)
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 BreitnerRemove special Tuple handling in allquantors
2008-11-14 Joachim BreitnerReduce Uncurry when possible
2008-11-14 Joachim BreitnerUse uncurry to map PCase
2008-11-14 Joachim BreitnerDanies Änderungen von 20081114
2008-11-14 Joachim BreitnerUnpack pairs if unpackabe
2008-11-14 Joachim Breitnerfix "Don’t unpack pair if vars are not used"
2008-11-14 Joachim BreitnerLeeres forall kann wichtig sein..
2008-11-12 Joachim BreitnerCorreclty implement eitherMap
2008-11-12 Joachim BreitnerRemove foralls with empty variable list
2008-11-12 Joachim BreitnerRemove unnecessary let
2008-11-12 Joachim BreitnerMake Either available to ft
2008-11-12 Joachim BreitnerDaniels Stand von 20081110
2008-10-17 Joachim BreitnerTerm2Expr
12 years ago master