Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. removal of smt and certain refinements
  2. removal of smt
Changeset 68606:96a49db47c97 by paulson _lp15@cam.ac.uk_:
removal of smt and certain refinements
The file was modified src/HOL/Algebra/Chinese_Remainder.thy (diff)
The file was modified src/HOL/Algebra/Group_Action.thy (diff)
The file was modified src/HOL/Algebra/Ideal_Product.thy (diff)
The file was modified src/HOL/Computational_Algebra/Factorial_Ring.thy (diff)
Changeset 68605:440aa6b7d99a by paulson _lp15@cam.ac.uk_:
removal of smt
The file was modified src/HOL/Algebra/Cycles.thy (diff)
The file was modified src/HOL/Algebra/Generated_Groups.thy (diff)
The file was modified src/HOL/Algebra/Group.thy (diff)
The file was modified src/HOL/Algebra/Ideal_Product.thy (diff)
The file was modified src/HOL/Algebra/Polynomials.thy (diff)
The file was modified src/HOL/Algebra/Solvable_Groups.thy (diff)
The file was modified src/HOL/Algebra/Zassenhaus.thy (diff)