bit singleton shifts recovered for the sake of backward compatibility
b29e73d246d4
Actions

Description

bit singleton shifts recovered for the sake of backward compatibility

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (8)

Path

Size

rAFPb29e73d246d4

thys/Word_Lib/Bitwise.thy

thys/Word_Lib/Guide.thy

thys/Word_Lib/Legacy_Aliases.thy

thys/Word_Lib/Reversed_Bit_Lists.thy

thys/Word_Lib/Singleton_Bit_Shifts.thy

thys/Word_Lib/Word_Lib_Sumo.thy

bit singleton shifts recovered for the sake of backward compatibilityb29e73d246d4Actions

Description

Details

Changes (8)

rAFPb29e73d246d4

thys/Word_Lib/Bitwise.thy

thys/Word_Lib/Guide.thy

thys/Word_Lib/Legacy_Aliases.thy

thys/Word_Lib/Reversed_Bit_Lists.thy

thys/Word_Lib/Singleton_Bit_Shifts.thy

thys/Word_Lib/Word_Lib_Sumo.thy

bit singleton shifts recovered for the sake of backward compatibility
b29e73d246d4
Actions