Skip to content
Success

Changes

Summary

  1. Fixed locale interpretations
Changeset 7802:9a4c06e91a95 by akihisayamada _akihisa.yamada@uibk.ac.at_:
Fixed locale interpretations
The file was modified thys/Perron_Frobenius/Perron_Frobenius.thy (diff)
The file was modified thys/Perron_Frobenius/Spectral_Radius_Theory.thy (diff)