Diffusion Isabelle 6fd70ed18199

simplified construction of binary bit operations
6fd70ed18199
Actions

Tags

None

Subscribers

None

Description

simplified construction of binary bit operations

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE14914ae80f70: temporarily revert change which does not work as expected

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE6fd70ed18199: simplified construction of binary bit operations.Apr 27 2020, 6:18 PM

Changes (3)

Path

Size

src/

HOL/

ex/

Bit_Operations.thy

rISABELLE6fd70ed18199

src/HOL/Parity.thy

Loading...

src/HOL/ex/Bit_Lists.thy

Loading...

src/HOL/ex/Bit_Operations.thy

Loading...