Fri, 19 Aug 2011 11:01:52 +0900 Comment out examples with 'True' that do not work because function still does not work
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Aug 2011 11:01:52 +0900] rev 2995
Comment out examples with 'True' that do not work because function still does not work
Fri, 19 Aug 2011 10:56:12 +0900 Update to new Isabelle
Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Aug 2011 10:56:12 +0900] rev 2994
Update to new Isabelle
(0) -1000 -300 -100 -30 -10 -2 +2 +10 +30 +100 tip