Status

Changes

Console Output

View as plain text

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

tidied up some massive ugliness

Changeset 70680:b8cd7ea34e33 by paulson _lp15@cam.ac.uk_: tidied up some massive ugliness
The file was modified	`src/HOL/Library/Permutation.thy`