Diffusion Isabelle 43c534bba442

tuned whitespace (amending a4bffc0de967);
43c534bba442
Actions

Tags

None

Subscribers

None

Description

tuned whitespace (amending a4bffc0de967);

Details

Provenance

Authored on

Parents

rISABELLEd2690444c00a: clarified caching;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE43c534bba442: tuned whitespace (amending a4bffc0de967);.Jan 2 2021, 11:03 PM

Changes (1)

Path

Size

src/

HOL/

Library/

rISABELLE43c534bba442

src/HOL/Library/Library.thy

Loading...