Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

Source_Coding_Theorem: adapted to development version of Isabelle

Changeset 7238:2cd56ef33d50 by hoelzl: Source_Coding_Theorem: adapted to development version of Isabelle
The file was modified	`thys/Source_Coding_Theorem/Source_Coding_Theorem.thy` (diff)