Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

updated to Isabelle/devel

Changeset 7236:0c2cbc4474b0 by nipkow: updated to Isabelle/devel
The file was modified	`thys/Source_Coding_Theorem/Source_Coding_Theorem.thy` (diff)