Diffusion afp-devel 818b453ae7cb

removal of legacy binding
818b453ae7cb
Actions

Tags

None

Subscribers

None

Description

removal of legacy binding

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP2e7ac4fd9a3f: simplified proof

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP818b453ae7cb: removal of legacy binding.May 11 2020, 12:18 PM

Changes (2)

Path

Size

thys/

Integration/

Stirling_Formula/

Gamma_Asymptotics.thy

rAFP818b453ae7cb

thys/Integration/MonConv.thy

Loading...

thys/Stirling_Formula/Gamma_Asymptotics.thy

Loading...