Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
afp-repo
#84
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Failed
Changes
Summary
merged
tune proof
Changeset
6374:b1bd25eb0821
by
Andreas Lochbihler
:
merged
Changeset
6373:620823fcb9fc
by
Andreas Lochbihler
:
tune proof
The file was modified
thys/Applicative_Lifting/Tree_Relabelling.thy
(diff)