Diffusion afp-devel 7dde2c633ece

adjust to Ergodic_Theory changes
7dde2c633ece
Actions

Tags

None

Subscribers

None

Description

adjust to Ergodic_Theory changes

Details

Provenance

Authored on

Parents

rAFP4b1c5705378b: Ergodic_Theory: tuned some names

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP7dde2c633ece: adjust to Ergodic_Theory changes.Feb 11 2021, 5:58 AM

Changes (5)

Path

Size

Laws_of_Large_Numbers

Laws_of_Large_Numbers.thy

ME_Library_Complement.thy

Shift_Operator.thy

rAFP7dde2c633ece

thys/Laws_of_Large_Numbers/Laws_of_Large_Numbers.thy

Loading...

thys/Laws_of_Large_Numbers/ME_Library_Complement.thy

Loading...

thys/Laws_of_Large_Numbers/Shift_Operator.thy

Loading...