Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Added Circle_Area to HOL-Analysis examples
  2. tuned/minimized
Changeset 64888:eb019ab30bdc by eberlm _eberlm@in.tum.de_:
Added Circle_Area to HOL-Analysis examples
The file was addedsrc/HOL/Analysis/ex/Circle_Area.thy
The file was modified src/HOL/ROOT (diff)
Changeset 64887:266fb24c80bd by nipkow:
tuned/minimized
The file was modified src/HOL/Library/Tree.thy (diff)