Summary
- def -> define
The file was modified | thys/Algebraic_Numbers/Algebraic_Numbers.thy (diff) |
The file was modified | thys/Algebraic_Numbers/Algebraic_Numbers_Prelim.thy (diff) |
The file was modified | thys/Algebraic_Numbers/Complex_Algebraic_Numbers.thy (diff) |
The file was modified | thys/Algebraic_Numbers/Complex_Roots_Real_Poly.thy (diff) |
The file was modified | thys/Algebraic_Numbers/Real_Algebraic_Numbers.thy (diff) |
The file was modified | thys/Algebraic_Numbers/Real_Factorization.thy (diff) |
The file was modified | thys/Algebraic_Numbers/Real_Roots.thy (diff) |
The file was modified | thys/Algebraic_Numbers/Sturm_Rat.thy (diff) |