Diffusion Isabelle 038727567817

tuned order between theories
038727567817
Actions

Tags

None

Subscribers

None

Description

tuned order between theories

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLEa197532693a5: bit shifts as class operations

Branches

Unknown

Tags

Unknown

Event Timeline

haftmann committed rISABELLE038727567817: tuned order between theories.Nov 11 2019, 8:16 AM

Changes (3)

Path

Size

src/

HOL/

ex/

Bit_Operations.thy

rISABELLE038727567817

src/HOL/ex/Bit_Lists.thy

Loading...

src/HOL/ex/Bit_Operations.thy

Loading...

src/HOL/ex/Word.thy

Loading...