Summary
- updated to devel
The file was modified | thys/Stochastic_Matrices/Eigenspace.thy (diff) |
The file was modified | thys/Stochastic_Matrices/Stochastic_Matrix.thy (diff) |
The file was modified | thys/Stochastic_Matrices/Stochastic_Matrix_Perron_Frobenius.thy (diff) |
The file was modified | thys/Taylor_Models/Float_Topology.thy (diff) |