Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

Adapted Minkowskis_Theorem to isabelle-dev 6ad54b84ca5d

Changeset 8128:c227ef10011e by eberlm _eberlm@in.tum.de_: Adapted Minkowskis_Theorem to isabelle-dev 6ad54b84ca5d
The file was modified	`thys/Minkowskis_Theorem/Minkowskis_Theorem.thy` (diff)