Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merged
  2. Updated all entries to changes in euclidean rings
Changeset 6395:3da6d3ac3407 by manuel eberl _eberlm@in.tum.de_:
Merged
Changeset 6394:6d199a537655 by manuel eberl _eberlm@in.tum.de_:
Updated all entries to changes in euclidean rings
The file was modified thys/Echelon_Form/Cayley_Hamilton_Compatible.thy (diff)
The file was modified thys/Echelon_Form/Echelon_Form.thy (diff)
The file was modified thys/Echelon_Form/Echelon_Form_Det.thy (diff)
The file was modified thys/Echelon_Form/Echelon_Form_Det_IArrays.thy (diff)
The file was modified thys/Echelon_Form/Echelon_Form_Inverse.thy (diff)
The file was modified thys/Echelon_Form/Echelon_Form_Inverse_IArrays.thy (diff)
The file was modified thys/Echelon_Form/Rings2.thy (diff)
The file was modified thys/Hermite/Hermite.thy (diff)
The file was modified thys/Impossible_Geometry/Impossible_Geometry.thy (diff)
The file was modified thys/Perfect-Number-Thm/Sigma.thy (diff)
The file was modified thys/Sqrt_Babylonian/NthRoot_Impl.thy (diff)
The file was removedthys/Echelon_Form/Euclidean_Algorithm.thy
The file was removedthys/Echelon_Form/Euclidean_Algorithm_Extension.thy