Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
afp-repo
#359
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
add probabilistic tree relabelling example
Changeset
6993:9b900bdd8b0b
by
Andreas Lochbihler
:
merged
Changeset
6992:80221788d200
by
Andreas Lochbihler
:
add probabilistic tree relabelling example
The file was modified
thys/Applicative_Lifting/Tree_Relabelling.thy
(diff)