Diffusion Isabelle 7449ff77029e

base abstract specification of NOT on recursive equation rather than bit…
7449ff77029e
Actions

Tags

None

Subscribers

None

Description

base abstract specification of NOT on recursive equation rather than bit projection

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE127ba61b2630: modernized, reordered, generalized

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE7449ff77029e: base abstract specification of NOT on recursive equation rather than bit….Nov 22 2023, 6:50 PM

Changes (3)

Path

Size

src/

HOL/

Bit_Operations.thy

Code_Numeral.thy

Library/

rISABELLE7449ff77029e

src/HOL/Bit_Operations.thy

Loading...

src/HOL/Code_Numeral.thy

Loading...

src/HOL/Library/Word.thy

Loading...