Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

recovered typedef with set bcontfun (amending d23eded35a33)

Changeset 65205:f435640193b6 by immler: recovered typedef with set bcontfun (amending d23eded35a33)
The file was modified	`src/HOL/Analysis/Bounded_Continuous_Function.thy` (diff)