Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
afp-repo
#1672
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Timings
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Failed
Changes
Summary
merged
eliminated {field_char_0,field}, generalized
Changeset
9390:48152d391d26
by
immler
:
merged
Changeset
9389:b0ba77495a30
by
immler
:
eliminated {field_char_0,field}, generalized
The file was modified
thys/Taylor_Models/Polynomial_Expression.thy
(diff)