Diffusion afp-devel e2811dc54d05

grouped lemmas
e2811dc54d05
Actions

Tags

None

Subscribers

None

Description

grouped lemmas

Details

Provenance

florian.haftmann

Authored on

Parents

rAFPfd98855f4f8e: bundles for traditional infix syntax

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFPe2811dc54d05: grouped lemmas.Jun 2 2021, 2:46 PM

Changes (6)

Path

Size

thys/

Word_Lib/

Signed_Words.thy

Traditional_Infix_Syntax.thy

Word_Lemmas.thy

rAFPe2811dc54d05

thys/Word_Lib/Aligned.thy

Loading...

thys/Word_Lib/Bits_Int.thy

Loading...

thys/Word_Lib/More_Word.thy

Loading...

thys/Word_Lib/Signed_Words.thy

Loading...

thys/Word_Lib/Traditional_Infix_Syntax.thy

Loading...

thys/Word_Lib/Word_Lemmas.thy

Loading...