Diffusion afp-devel 3e56c4a0b948

moved abstract to root.tex
3e56c4a0b948
Actions

Tags

None

Subscribers

None

Description

moved abstract to root.tex

Details

Provenance

Authored on

Parents

rAFPd73b9d89ba85: made proofs more robust

Branches

Unknown

Tags

Unknown

Event Timeline

traytel committed rAFP3e56c4a0b948: moved abstract to root.tex.Aug 19 2023, 9:43 PM

Changes (2)

Path

Size

thys/

Fixed_Length_Vector/

Fixed_Length_Vector.thy

document/

rAFP3e56c4a0b948

thys/Fixed_Length_Vector/Fixed_Length_Vector.thy

Loading...

thys/Fixed_Length_Vector/document/root.tex

Loading...