Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added perron frobenius theorem for irreducible matrices
  2. Added tag Isabelle2017 for changeset 5d0678c77502
Changeset 8353:0e47eb7963c9 by rene thiemann _rene.thiemann@uibk.ac.at_:
added perron frobenius theorem for irreducible matrices
The file was addedthys/Perron_Frobenius/Perron_Frobenius_2.thy
The file was addedthys/Perron_Frobenius/Perron_Frobenius_Aux_2.thy
The file was modified thys/Perron_Frobenius/HMA_Connect.thy (diff)
The file was modified thys/Perron_Frobenius/ROOT (diff)
Changeset 8352:ed85c8e78baf by kleing:
Added tag Isabelle2017 for changeset 5d0678c77502
The file was modified .hgtags (diff)