Diffusion Isabelle 0f9cd1a5edbe

Tidying ugly proofs
0f9cd1a5edbe
Actions

Tags

None

Subscribers

None

Description

Tidying ugly proofs

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE646cd337bb08: Tiny tweaks to proofs

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE0f9cd1a5edbe: Tidying ugly proofs.Fri, Apr 12, 10:58 AM

Changes (4)

Path

Size

src/

HOL/

Analysis/

Brouwer_Fixpoint.thy

Library/

Groups_Big_Fun.thy

Poly_Mapping.thy

rISABELLE0f9cd1a5edbe

src/HOL/Analysis/Brouwer_Fixpoint.thy

Loading...

src/HOL/Library/Groups_Big_Fun.thy

Loading...

src/HOL/Library/Multiset.thy

Loading...

src/HOL/Library/Poly_Mapping.thy

Loading...