Re: [isabelle] Algebraic_Numbers

> Thanks for this easy solution. I just pushed a corresponding change
> with new target: Algebraic_Number_Lib

Because of this we now have the unfortunate situation that a significant
part of Algebraic_Numbers is now being built twice, without any actual
need to do so.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.