Thu, 21 Oct 2010 15:06:30 +0000 urbanc tried at the end to prove the other direction (failed at the moment)
Thu, 21 Oct 2010 13:42:08 +0000 urbanc deleted the matcher ate the beginning; made it to work with stable Isabelle and the development version
(0) -2 +2 +10 +30 +100 +300 tip