Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. tuned op's
  3. tuned op's
  4. tuned op's
  5. tuned op's
  6. tuned op's
Changeset 67233:43ed806acb95 by nipkow:
merged
Changeset 67232:a00f5a71e672 by nipkow:
tuned op's
The file was modified src/HOL/Library/positivstellensatz.ML (diff)
Changeset 67231:754952c12293 by nipkow:
tuned op's
The file was modified src/HOL/Topological_Spaces.thy (diff)
Changeset 67230:b2800da9eb8a by nipkow:
tuned op's
The file was modified src/HOL/Tools/groebner.ML (diff)
Changeset 67229:4ecf0ef70efb by nipkow:
tuned op's
The file was modified src/HOL/Lifting.thy (diff)
Changeset 67228:7c7b76695c90 by nipkow:
tuned op's
The file was modified src/HOL/Tools/ATP/atp_problem_generate.ML (diff)