Diffusion Isabelle 341b15d092f2

quite a bit of tidying
341b15d092f2
Actions

Tags

None

Subscribers

None

Description

quite a bit of tidying

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE3afe53e8b2ba: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE341b15d092f2: quite a bit of tidying.Aug 29 2020, 5:30 PM

Changes (3)

Path

Size

src/

HOL/

Analysis/

Abstract_Topology_2.thy

Elementary_Metric_Spaces.thy

Elementary_Topology.thy

rISABELLE341b15d092f2

src/HOL/Analysis/Abstract_Topology_2.thy

Loading...

src/HOL/Analysis/Elementary_Metric_Spaces.thy

Loading...

src/HOL/Analysis/Elementary_Topology.thy

Loading...