Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
afp-repo
#929
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
UpDown_Scheme: fix import order to avoid overloading of left/right with tree.left/tree.right
Changeset
8004:81a4eb593497
by
hoelzl
:
UpDown_Scheme: fix import order to avoid overloading of left/right with tree.left/tree.right
The file was modified
thys/UpDown_Scheme/Grid_Point.thy
(diff)