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.

Cheers
Lars




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