Diffusion afp-devel d73b9d89ba85

made proofs more robust
d73b9d89ba85
Actions

Tags

None

Subscribers

None

Description

made proofs more robust

Details

Provenance

Authored on

Parents

rAFP7f4d917a2669: new entry Fixed_Length_Vector

Branches

Unknown

Tags

Unknown

Event Timeline

traytel committed rAFPd73b9d89ba85: made proofs more robust.Aug 19 2023, 9:41 PM

Changes (1)

Path

Size

thys/

Fixed_Length_Vector/

Fixed_Length_Vector.thy

rAFPd73b9d89ba85

thys/Fixed_Length_Vector/Fixed_Length_Vector.thy

Loading...