Diffusion afp-devel d7c3c888a331

extracted more legacy abbreviations
d7c3c888a331
Actions

Tags

None

Subscribers

None

Description

extracted more legacy abbreviations

Details

Provenance

florian.haftmann

Authored on

Parents

rAFP3ddc21f61385: max word moved to Word_Lib in AFP

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFPd7c3c888a331: extracted more legacy abbreviations.May 28 2021, 10:21 PM

Changes (17)

Path

Size

thys/

IP_Addresses/

Lib_Word_toString.thy

Native_Word/

Bits_Integer.thy

Code_Symbolic_Bits_Int.thy

Code_Target_Bits_Int.thy

PAC_Checker/

PAC_Checker_Relation.thy

Word_Lib/

Ancient_Numeral.thy

Generic_set_bit.thy

Least_significant_bit.thy

Legacy_Aliases.thy

Most_significant_bit.thy

Reversed_Bit_Lists.thy

Word_Lemmas.thy

rAFPd7c3c888a331

thys/IP_Addresses/Lib_Word_toString.thy

Loading...

thys/Native_Word/Bits_Integer.thy

Loading...

thys/Native_Word/Code_Symbolic_Bits_Int.thy

Loading...

thys/Native_Word/Code_Target_Bits_Int.thy

Loading...

thys/PAC_Checker/PAC_Checker_Relation.thy

Loading...

thys/Word_Lib/Ancient_Numeral.thy

Loading...

thys/Word_Lib/Bits_Int.thy

Loading...

thys/Word_Lib/Bitwise.thy

Loading...

thys/Word_Lib/Generic_set_bit.thy

Loading...

thys/Word_Lib/Guide.thy

Loading...

thys/Word_Lib/Least_significant_bit.thy

Loading...

thys/Word_Lib/Legacy_Aliases.thy

Loading...

thys/Word_Lib/Most_significant_bit.thy

Loading...

thys/Word_Lib/Norm_Words.thy

Loading...

thys/Word_Lib/Reversed_Bit_Lists.thy

Loading...

thys/Word_Lib/Rsplit.thy

Loading...

thys/Word_Lib/Word_Lemmas.thy

Loading...