Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
afp-repo
#1458
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
CakeML: more proofs
Changeset
9014:7438b41632e5
by
lars hupel _lars.hupel@mytum.de_
:
CakeML: more proofs
The file was modified
thys/CakeML/Semantic_Extras.thy
(diff)
The file was modified
thys/CakeML/versions
(diff)