Diffusion Isabelle f424e164d752

modernized notation for bit operations
f424e164d752
Actions

Tags

None

Subscribers

None

Description

modernized notation for bit operations

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE3ef1418d64a6: merged

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLEf424e164d752: modernized notation for bit operations.May 9 2020, 7:20 PM

Changes (3)

Path

Size

src/

HOL/

Word/

Tools/

rISABELLEf424e164d752

src/HOL/Word/Bits_Int.thy

Loading...

src/HOL/Word/Tools/smt_word.ML

Loading...

src/HOL/Word/Word.thy

Loading...