Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Added Circle_Area to HOL-Analysis examples
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)