Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

qualify Complete_Partial_Order2.compact

Changeset 66244:4c999b5d78e2 by Andreas Lochbihler: qualify Complete_Partial_Order2.compact
The file was modified	`src/HOL/Library/Complete_Partial_Order2.thy` (diff)