Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

corrected definition of mat_of_cols_list (mistake spotted by Dominique Unruh)

Changeset 8591:6e2a1bb82505 by rene thiemann _rene.thiemann@uibk.ac.at_: corrected definition of mat_of_cols_list (mistake spotted by Dominique Unruh)
The file was modified	`thys/Jordan_Normal_Form/Matrix.thy` (diff)