Diffusion Isabelle 27475e64a887

more complete simp rules
27475e64a887
Actions

Tags

None

Subscribers

None

Description

more complete simp rules

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE9c04a82c3128: more complete simp rules

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE27475e64a887: more complete simp rules.Oct 11 2021, 8:32 AM

Changes (2)

Path

Size

src/

HOL/

Bit_Operations.thy

Library/

rISABELLE27475e64a887

src/HOL/Bit_Operations.thy

Loading...

src/HOL/Library/Word.thy

Loading...