Diffusion Isabelle caede3159e23

reduced imports and removed unused material
caede3159e23
Actions

Tags

None

Subscribers

None

Description

reduced imports and removed unused material

Details

Provenance

Authored on

Parents

rISABELLE575b3a818de5: tuned

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLEcaede3159e23: reduced imports and removed unused material.Nov 29 2019, 11:04 AM

Changes (1)

Path

Size

src/

HOL/

Analysis/

rISABELLEcaede3159e23

src/HOL/Analysis/Retracts.thy

Loading...