Diffusion Isabelle 3d35e12999ba

characterization of typical bit operations
3d35e12999ba
Actions

Tags

None

Subscribers

None

Description

characterization of typical bit operations

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE8a0e25d93a95: merged

Branches

Unknown

Tags

Unknown

Event Timeline

haftmann committed rISABELLE3d35e12999ba: characterization of typical bit operations.Dec 1 2019, 6:51 PM

Changes (2)

Path

Size

src/

HOL/

ex/

Bit_Operations.thy

rISABELLE3d35e12999ba

src/HOL/ex/Bit_Operations.thy

Loading...

src/HOL/ex/Word.thy

Loading...