Re: [isabelle-dev] Coinductive FAILED

Hi Florian, My bad again. Fixed (578371ba74cc). Now I see why "pervasive = true" makes sense. Thanks for the notice. BTW is there any particular reason why testboard and tests are kind of dead these days? Jasmin Am 06.11.2013 um 21:12 schrieb Florian Haftmann : > isabelle b01057e72233 /

[isabelle-dev] Coinductive FAILED

isabelle b01057e72233 / afp 30c892926c46 > Coinductive FAILED > (see also > /mnt/home/haftmann/data/isabelle/devel/heaps/polyml-5.5.1_x86-linux/log/Coinductive) > > s/type1/public/amsfonts/cm/cmsy5.pfb> amsfonts/cm/cmsy7.pfb> y8.pfb> hare/texmf-dist/fonts/type1/public/amsfonts/cm/cmti12.pfb> t/f