Skip to content
Jenkins
log in
Dashboard
nipkow
My Views
All
afp-repo
#1395
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
generalized a proof and added a counterexample to another property
Changeset
8887:de42d5ba97cc
by
Christian Sternagel
:
generalized a proof and added a counterexample to another property
The file was modified
thys/Well_Quasi_Orders/Higman_OI.thy
(diff)