Diffusion afp-devel b8a6808299e5

obsolete duplicates
b8a6808299e5
Actions

Tags

None

Subscribers

None

Description

obsolete duplicates

Details

Provenance

florian.haftmann

Authored on

Parents

rAFP3ceb3fe8ab08: factored out ancient numeral representation

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFPb8a6808299e5: obsolete duplicates.Jul 2 2020, 10:41 AM

Changes (3)

Path

Size

thys/

Native_Word/

rAFPb8a6808299e5

thys/Native_Word/Uint.thy

Loading...

thys/Native_Word/Uint32.thy

Loading...

thys/Native_Word/Uint64.thy

Loading...