Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

restored surj as output abbreviation, amending 6af79184bef3

Changeset 65170:53675f36820d by haftmann: restored surj as output abbreviation, amending 6af79184bef3
The file was modified	`NEWS` (diff)
The file was modified	`src/HOL/Fun.thy` (diff)