Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

dropped redundant proofs; tuned proof

Changeset 8850:724f6bceac14 by Christian Sternagel: dropped redundant proofs; tuned proof
The file was modified	`thys/Diophantine_Eqns_Lin_Hom/Algorithm.thy` (diff)