On 08/12/16 17:41, David Matthews wrote:
>
> 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/
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