Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned op's
  2. Renamed (^) to [^] in preparation of the move from "op X" to (X)
  3. tuned op
Changeset 67342:7905adb28bdc by nipkow:
tuned op's
The file was modified src/HOL/Algebra/Group.thy (diff)
Changeset 67341:df79ef3b3a41 by nipkow:
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)
Changeset 67340:150d40a25622 by nipkow:
tuned op
The file was modified src/HOL/Algebra/Complete_Lattice.thy (diff)