Skip to content
Jenkins
log in
Dashboard
isabelle-nightly-benchmark
#216
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
restored instance for char, which got ancidentally lost in b3f2b8c906a6
Changeset
64670:f77b946d18aa
by
haftmann
:
restored instance for char, which got ancidentally lost in b3f2b8c906a6
The file was modified
src/HOL/Quickcheck_Exhaustive.thy
(diff)