Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Tidied up some super-messy proofs
  2. Added a couple of obvious simprules
Changeset 75450:f16d83de3e4a by paulson _lp15@cam.ac.uk_:
Tidied up some super-messy proofs
The file was modified src/HOL/Library/Set_Algebras.thy (diff)
Changeset 75449:51e05af57455 by paulson _lp15@cam.ac.uk_:
Added a couple of obvious simprules
The file was modified src/HOL/Analysis/Abstract_Topology.thy (diff)