Diffusion afp-devel 7e9db34de4f6

A bit of tidying
7e9db34de4f6
Actions

Tags

None

Subscribers

None

Description

A bit of tidying

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP877ead9ac185: merge

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP7e9db34de4f6: A bit of tidying.Jan 8 2021, 8:02 PM

Changes (3)

Path

Size

thys/

Perfect-Number-Thm/

PerfectBasics.thy

rAFP7e9db34de4f6

thys/Perfect-Number-Thm/Perfect.thy

Loading...

thys/Perfect-Number-Thm/PerfectBasics.thy

Loading...

thys/Perfect-Number-Thm/Sigma.thy

Loading...