Diffusion Isabelle 8bff286878bf

misc lemma tuning
8bff286878bf
Actions

Tags

None

Subscribers

None

Description

misc lemma tuning

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE66beb9d92e43: explicit proofs for bit projections

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE8bff286878bf: misc lemma tuning.Jul 3 2020, 8:18 AM

Changes (9)

Path

Size

src/

HOL/

Library/

Bit_Operations.thy

Word/

Ancient_Numeral.thy

ex/

rISABELLE8bff286878bf

src/HOL/Divides.thy

Loading...

src/HOL/Library/Bit_Operations.thy

Loading...

src/HOL/List.thy

Loading...

src/HOL/Num.thy

Loading...

src/HOL/Parity.thy

Loading...

src/HOL/Word/Ancient_Numeral.thy

Loading...

src/HOL/Word/Bits_Int.thy

Loading...

src/HOL/Word/Word.thy

Loading...

src/HOL/ex/Word.thy

Loading...