Skip to content
Jenkins
log in
Dashboard
Benedikt Seidl <benedikt.seidl@tum.de>
My Views
All
afp-repo
#716
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
Tuned Landau_Symbols
Changeset
7612:e449f8c8c131
by
eberlm _eberlm@in.tum.de_
:
Tuned Landau_Symbols
The file was modified
thys/Landau_Symbols/Landau_Symbols_Definition.thy
(diff)