Diffusion Isabelle 486a32079c60

compactified specification of type class parity
486a32079c60
Actions

Tags

None

Subscribers

None

Description

compactified specification of type class parity

Details

Provenance

florian.haftmann

Authored on

Parents

rISABELLE7476818dfd5d: generalized

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rISABELLE486a32079c60: compactified specification of type class parity.Dec 2 2023, 9:49 PM

Changes (3)

Path

Size

src/

HOL/

Library/

rISABELLE486a32079c60

NEWS

Loading...

src/HOL/Library/Word.thy

Loading...

src/HOL/Parity.thy

Loading...