Thu, 11 Feb 2010 14:23:26 +0100 Even when bv = fv it still doesn't lift.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 11 Feb 2010 14:23:26 +0100] rev 1131
Even when bv = fv it still doesn't lift.
Thu, 11 Feb 2010 14:02:34 +0100 Added the missing syntax file
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 11 Feb 2010 14:02:34 +0100] rev 1130
Added the missing syntax file
Thu, 11 Feb 2010 14:00:00 +0100 Notation available locally
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 11 Feb 2010 14:00:00 +0100] rev 1129
Notation available locally
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip