restored executable conversions
da7fd1ac6b66
Actions

Description

restored executable conversions

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (5)

Path

Size

thys/

Native_Word/

rAFPda7fd1ac6b66

thys/Native_Word/Native_Word_Test.thy

thys/Native_Word/Uint16.thy

thys/Native_Word/Uint32.thy

thys/Native_Word/Uint64.thy

thys/Native_Word/Uint8.thy

restored executable conversionsda7fd1ac6b66Actions

Description

Details

Changes (5)

rAFPda7fd1ac6b66

thys/Native_Word/Native_Word_Test.thy

thys/Native_Word/Uint16.thy

thys/Native_Word/Uint32.thy

thys/Native_Word/Uint64.thy

thys/Native_Word/Uint8.thy

restored executable conversions
da7fd1ac6b66
Actions