Re: [isabelle-dev] Failure in AFP when switching from polyml-5.6-1 to polyml-test-7a7b742897e9

2016-12-08 Thread David Matthews
On 08/12/2016 15:01, Florian Haftmann wrote: Hi all, when testing polyml-test-7a7b742897e9 I found out that this breaks session Algebraic_Numbers in the AFP: *** At command "value" (line 42 of "/mnt/home/haftmann/data/tum/afp/devel/thys/Algebraic_Numbers/Algebraic_Number_Tests.thy") *** except

[isabelle-dev] Failure in AFP when switching from polyml-5.6-1 to polyml-test-7a7b742897e9

2016-12-08 Thread Florian Haftmann
Hi all, when testing polyml-test-7a7b742897e9 I found out that this breaks session Algebraic_Numbers in the AFP: *** At command "value" (line 42 of "/mnt/home/haftmann/data/tum/afp/devel/thys/Algebraic_Numbers/Algebraic_Number_Tests.thy") *** exception Div raised (line 302 of "./basis/InitialBasi