Diffusion afp-devel 728e00306996

Recursion-Addition
728e00306996
Actions

Tags

None

Subscribers

None

Description

Recursion-Addition

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPc5aff697f6f2: lower case topics

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP728e00306996: Recursion-Addition.May 13 2020, 7:21 PM

Changes (7)

Path

Size

Recursion-Addition

rAFP728e00306996

thys/ROOTS

Loading...

thys/Recursion-Addition/ROOT

Loading...

thys/Recursion-Addition/document/root.tex

Loading...

thys/Recursion-Addition/recursion.thy

Loading...