Diffusion Isabelle 9a60c1759543

Lots more new material thanks to Manuel Eberl
9a60c1759543
Actions

Tags

None

Subscribers

None

Description

Lots more new material thanks to Manuel Eberl

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLEda8a0e7bcac8: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE9a60c1759543: Lots more new material thanks to Manuel Eberl.Jan 31 2023, 3:05 PM

makarius mentioned this in rAFP96cce49d33a6: adapted to Isabelle/9a60c1759543;.Jan 31 2023, 10:31 PM

Changes (14)

Path

Size

src/

HOL/

Analysis/

Complex_Transcendental.thy

Elementary_Metric_Spaces.thy

Elementary_Topology.thy

Line_Segment.thy

Smooth_Paths.thy

BNF_Cardinal_Order_Relation.thy

Library/

Equipollence.thy

Topological_Spaces.thy

Transcendental.thy

rISABELLE9a60c1759543

src/HOL/Analysis/Complex_Transcendental.thy

Loading...

src/HOL/Analysis/Derivative.thy

Loading...

src/HOL/Analysis/Elementary_Metric_Spaces.thy

Loading...

src/HOL/Analysis/Elementary_Topology.thy

Loading...

src/HOL/Analysis/Line_Segment.thy

Loading...

src/HOL/Analysis/Smooth_Paths.thy

Loading...

src/HOL/BNF_Cardinal_Order_Relation.thy

Loading...

src/HOL/Complex.thy

Loading...

src/HOL/Filter.thy

Loading...

src/HOL/Library/Equipollence.thy

Loading...

src/HOL/Power.thy

Loading...

src/HOL/Set.thy

Loading...

src/HOL/Topological_Spaces.thy

Loading...

src/HOL/Transcendental.thy

Loading...