Diffusion afp-devel 9c86034d4adf

the last quantifier tweaks
9c86034d4adf
Actions

Tags

None

Subscribers

None

Description

the last quantifier tweaks

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPef75bcbbe619: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP9c86034d4adf: the last quantifier tweaks.Aug 28 2020, 6:22 PM

Changes (2)

Path

Size

thys/

Lp/

Transcendence_Series_Hancl_Rucki/

Transcendence_Series.thy

rAFP9c86034d4adf

thys/Lp/Lp.thy

Loading...

thys/Transcendence_Series_Hancl_Rucki/Transcendence_Series.thy

Loading...