Summary
- Renamed (^) to [^] in preparation of the move from "op X" to (X)
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Algebra/FiniteProduct.thy (diff) |
The file was modified | src/HOL/Algebra/Group.thy (diff) |
The file was modified | src/HOL/Algebra/More_Finite_Product.thy (diff) |
The file was modified | src/HOL/Algebra/More_Group.thy (diff) |
The file was modified | src/HOL/Algebra/Multiplicative_Group.thy (diff) |
The file was modified | src/HOL/Algebra/Ring.thy (diff) |
The file was modified | src/HOL/Algebra/UnivPoly.thy (diff) |
The file was modified | src/HOL/Decision_Procs/Algebra_Aux.thy (diff) |
The file was modified | src/HOL/Decision_Procs/Commutative_Ring.thy (diff) |
The file was modified | src/HOL/Decision_Procs/Reflective_Field.thy (diff) |
The file was modified | src/HOL/Decision_Procs/ex/Commutative_Ring_Ex.thy (diff) |
The file was modified | src/HOL/Number_Theory/Prime_Powers.thy (diff) |
The file was modified | src/HOL/Number_Theory/Residues.thy (diff) |
The file was modified | src/HOL/Quotient_Examples/Int_Pow.thy (diff) |