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
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