Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

improved bisection criterion for algebraic numbers

Changeset 7299:184d3bd34571 by Sebastiaan Joosten: improved bisection criterion for algebraic numbers
The file was modified	`thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy` (diff)