Diffusion afp-devel 2f2cfbc55eda

Word_Lib: import new material from l4v
2f2cfbc55eda
Actions

Tags

None

Subscribers

None

Description

Word_Lib: import new material from l4v

Details

Provenance

Authored on

Parents

rAFP0f4372eb2943: update to isabelle@fd8e1bbc0686

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP2f2cfbc55eda: Word_Lib: import new material from l4v.Aug 16 2023, 12:03 PM

Changes (13)

Path

Size

Bitwise_Signed.thy

Boolean_Inequalities.thy

More_Bit_Ring.thy

More_Word_Operations.thy

Word_Lemmas.thy

Word_Lib_Sumo.thy

rAFP2f2cfbc55eda

thys/Word_Lib/Bitwise.thy

Loading...

thys/Word_Lib/Bitwise_Signed.thy

Loading...

thys/Word_Lib/Boolean_Inequalities.thy

Loading...

thys/Word_Lib/Many_More.thy

Loading...

thys/Word_Lib/More_Bit_Ring.thy

Loading...

thys/Word_Lib/More_Word.thy

Loading...

thys/Word_Lib/More_Word_Operations.thy

Loading...

thys/Word_Lib/Sgn_Abs.thy

Loading...

thys/Word_Lib/Word_EqI.thy

Loading...

thys/Word_Lib/Word_Lemmas.thy

Loading...

thys/Word_Lib/Word_Lib_Sumo.thy

Loading...