Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. elimination of some "smt"
  2. De-applying
  3. merged
  4. de-applying, etc.
Changeset 68604:57721285d4ef by paulson _lp15@cam.ac.uk_:
elimination of some "smt"
The file was modified src/HOL/Algebra/Coset.thy (diff)
The file was modified src/HOL/Algebra/Divisibility.thy (diff)
The file was modified src/HOL/Algebra/Embedded_Algebras.thy (diff)
The file was modified src/HOL/Algebra/Ideal.thy (diff)
The file was modified src/HOL/Algebra/QuotRing.thy (diff)
The file was modified src/HOL/Algebra/Ring_Divisibility.thy (diff)
The file was modified src/HOL/Algebra/Sym_Groups.thy (diff)
The file was modified src/HOL/Algebra/Zassenhaus.thy (diff)
Changeset 68603:73eeb3f31406 by paulson _lp15@cam.ac.uk_:
De-applying
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 68602:7605d3998e9f by paulson:
merged
Changeset 68601:7828f3b85156 by paulson _lp15@cam.ac.uk_:
de-applying, etc.
The file was modified src/HOL/Analysis/Weierstrass_Theorems.thy (diff)
The file was modified src/HOL/Deriv.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)