Diffusion afp-devel eb0cc2599588

adjustments for Word_Lib updates
eb0cc2599588
Actions

Tags

None

Subscribers

None

Description

adjustments for Word_Lib updates

Details

Provenance

Authored on

Parents

rAFP2332e6e5e05e: sync with l4v

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFPeb0cc2599588: adjustments for Word_Lib updates.Jan 24 2021, 10:32 AM

Changes (2)

Path

Size

thys/

Collections/

GenCF/

Impl/

Impl_Uv_Set.thy

Native_Word/

Bits_Integer.thy

rAFPeb0cc2599588

thys/Collections/GenCF/Impl/Impl_Uv_Set.thy

Loading...

thys/Native_Word/Bits_Integer.thy

Loading...