Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

fixed a proof in Tarskis_Geometry

Changeset 8915:5a1b9062cb2c by paulson _lp15@cam.ac.uk_: fixed a proof in Tarskis_Geometry
The file was modified	`thys/Tarskis_Geometry/Linear_Algebra2.thy` (diff)