Skip to content
Jenkins
log in
Dashboard
isabelle-repo
#980
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
Merged
distrib_lattice instance for filters
Changeset
66172:df70049d584d
by
eberlm _eberlm@in.tum.de_
:
Merged
Changeset
66171:454abfe923fe
by
eberlm _eberlm@in.tum.de_
:
distrib_lattice instance for filters
The file was modified
src/HOL/Filter.thy
(diff)