Diffusion Isabelle cbe7aa1c2bdc

tidying and de-applying
cbe7aa1c2bdc
Actions

Tags

None

Subscribers

None

Description

tidying and de-applying

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE7fc0e882851c: a bit of tidying

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLEcbe7aa1c2bdc: tidying and de-applying.Sep 8 2020, 4:30 PM

Changes (3)

Path

Size

src/

HOL/

Analysis/

Further_Topology.thy

rISABELLEcbe7aa1c2bdc

src/HOL/Analysis/Further_Topology.thy

Loading...

src/HOL/Deriv.thy

Loading...

src/HOL/Limits.thy

Loading...