Thu, 28 Jan 2010 12:28:50 +0100 End of renaming.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 28 Jan 2010 12:28:50 +0100] rev 982
End of renaming.
Thu, 28 Jan 2010 12:25:38 +0100 Minor when looking at lam.distinct and lam.inject
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 28 Jan 2010 12:25:38 +0100] rev 981
Minor when looking at lam.distinct and lam.inject
Thu, 28 Jan 2010 12:24:49 +0100 Renamed Bexeq to Bex1_rel
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 28 Jan 2010 12:24:49 +0100] rev 980
Renamed Bexeq to Bex1_rel
Thu, 28 Jan 2010 10:52:10 +0100 Substracting bounds from free variables.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 28 Jan 2010 10:52:10 +0100] rev 979
Substracting bounds from free variables.
(0) -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip