Diffusion Isabelle 38c01d7e9f5b

white space
38c01d7e9f5b
Actions

Tags

None

Subscribers

None

Description

white space

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE54b753b90b87: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE38c01d7e9f5b: white space.Sep 4 2021, 12:22 PM

Changes (1)

Path

Size

src/

HOL/

rISABELLE38c01d7e9f5b

src/HOL/Complex.thy

Loading...