Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more robust judgment handling
  2. Sketch and explore again
  3. removal of symmetries in Polytope, plus some tidying
Changeset 71773:7c2f4dd48fb6 by haftmann:
more robust judgment handling
The file was modified src/Provers/quantifier1.ML (diff)
Changeset 71772:af1381b565d6 by paulson _lp15@cam.ac.uk_:
Sketch and explore again
The file was modified src/HOL/Analysis/Further_Topology.thy (diff)
Changeset 71771:7c0de1eb6075 by paulson _lp15@cam.ac.uk_:
removal of symmetries in Polytope, plus some tidying
The file was modified src/HOL/Analysis/Further_Topology.thy (diff)
The file was modified src/HOL/Analysis/Polytope.thy (diff)