Diffusion afp-devel 77ff7b87b75f

sync from l4v
77ff7b87b75f
Actions

Tags

None

Subscribers

None

Description

sync from l4v

Details

Provenance

Authored on

Parents

rAFP879aa71d1836: adjusted Factor_Algebraic_Polynomial to Isabelle/devel (and Isabelle 2021-1…

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP77ff7b87b75f: sync from l4v.Nov 14 2021, 10:30 AM

Changes (9)

Path

Size

thys/

Word_Lib/

Machine_Word_32.thy

Most_significant_bit.thy

Signed_Words.thy

Word_Lemmas.thy

Word_Lib_Sumo.thy

rAFP77ff7b87b75f

thys/Word_Lib/Aligned.thy

Loading...

thys/Word_Lib/Bits_Int.thy

Loading...

thys/Word_Lib/Guide.thy

Loading...

thys/Word_Lib/Machine_Word_32.thy

Loading...

thys/Word_Lib/Most_significant_bit.thy

Loading...

thys/Word_Lib/Signed_Words.thy

Loading...

thys/Word_Lib/Word_EqI.thy

Loading...

thys/Word_Lib/Word_Lemmas.thy

Loading...

thys/Word_Lib/Word_Lib_Sumo.thy

Loading...