Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

generalized type classes as suggested by Jeremy Sylvestre

Changeset 76252:d123d9f67514 by nipkow: generalized type classes as suggested by Jeremy Sylvestre
The file was modified	`src/HOL/Fun.thy` (diff)