Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

line break before op was intentional

Changeset 67403:90fe8c635ba0 by nipkow: line break before op was intentional
The file was modified	`src/HOL/Orderings.thy` (diff)
The file was modified	`src/HOL/Set.thy` (diff)