Diffusion afp-devel 6e0f3f3f40d8

Mostly qualification by Henstock_Kurzweil_Integration.
6e0f3f3f40d8
Actions

Tags

None

Subscribers

None

Description

Mostly qualification by Henstock_Kurzweil_Integration.

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP90d5a4d124ca: Elimination of a theorem synonym

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (7)

Path

Size

thys/

Buffons_Needle/

Buffons_Needle.thy

Euler_MacLaurin/

Euler_MacLaurin.thy

Green/

Ordinary_Differential_Equations/

Library/

Interval_Integral_HK.thy

Prime_Number_Theorem/

Prime_Counting_Functions.thy

Prime_Number_Theorem_Library.thy

Zeta_Function/

Zeta_Function.thy

rAFP6e0f3f3f40d8

thys/Buffons_Needle/Buffons_Needle.thy

Loading...

thys/Euler_MacLaurin/Euler_MacLaurin.thy

Loading...

thys/Green/Integrals.thy

Loading...

thys/Ordinary_Differential_Equations/Library/Interval_Integral_HK.thy

Loading...

thys/Prime_Number_Theorem/Prime_Counting_Functions.thy

Loading...

thys/Prime_Number_Theorem/Prime_Number_Theorem_Library.thy

Loading...

thys/Zeta_Function/Zeta_Function.thy

Loading...