Skip to content
Jenkins
log in
Dashboard
desharna
My Views
All
isabelle-repo
#95
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
less preconditions
Changeset
62647:3cf0edded065
by
Andreas Lochbihler
:
less preconditions
The file was modified
src/HOL/Library/Bourbaki_Witt_Fixpoint.thy
(diff)