Diffusion Isabelle 26492b600d78

tuned whitespace --- avoid TABs;
26492b600d78
Actions

Tags

None

Subscribers

None

Description

tuned whitespace --- avoid TABs;

Details

Provenance

Authored on

Parents

rISABELLEb79755daf0ad: updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE26492b600d78: tuned whitespace --- avoid TABs;.Nov 30 2020, 5:10 PM

Changes (3)

Path

Size

src/

HOL/

Library/

Bit_Operations.thy

Type_Length.thy

rISABELLE26492b600d78

src/HOL/Library/Bit_Operations.thy

Loading...

src/HOL/Library/Type_Length.thy

Loading...

src/HOL/Parity.thy

Loading...