Changes

Summary

Changeset 7291:945056f527a3 by rene thiemann _rene.thiemann@uibk.ac.at_: more uniform bisection basis algorithm for algebraic numbers
The file was modified	`thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy` (diff)