Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added session to mirabelle output directory structure
  2. More tidying of topology proofs
  3. Partial round of clearing up applys, etc
Changeset 76945:fcd1df8f48fc by desharna:
added session to mirabelle output directory structure
The file was modified NEWS (diff)
The file was modified src/HOL/Tools/Mirabelle/mirabelle_sledgehammer.ML (diff)
Changeset 76944:7ed303c02418 by paulson _lp15@cam.ac.uk_:
More tidying of topology proofs
The file was modified src/HOL/Analysis/Further_Topology.thy (diff)
Changeset 76943:f5a7f171d186 by paulson _lp15@cam.ac.uk_:
Partial round of clearing up applys, etc
The file was modified src/HOL/Analysis/Further_Topology.thy (diff)