Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
afp-repo
#256
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
Tuned Ergodic_Theory
Changeset
6766:fb8303a2f6f0
by
manuel eberl _eberlm@in.tum.de_
:
Tuned Ergodic_Theory
The file was modified
thys/Ergodic_Theory/Recurrence.thy
(diff)