Skip to content
Jenkins
log in
Dashboard
isabelle-nightly-benchmark
#2173
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
A bit of new material about type class "infinite", from Eval_FO
Changeset
80089:f7b9179b5029
by
paulson _lp15@cam.ac.uk_
:
A bit of new material about type class "infinite", from Eval_FO
The file was modified
src/HOL/Library/Infinite_Typeclass.thy
(diff)