Skip to content
Failed

Changes

Summary

  1. Removed unnecessary assumptions, polished code and definitions, indentation, more examples.
Changeset 6402:9b0722694a6f by jodivaso:
Removed unnecessary assumptions, polished code and definitions, indentation, more examples.
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_IArrays.thy (diff)
The file was modified thys/Echelon_Form/Examples_Echelon_Form_Abstract.thy (diff)
The file was modified thys/Echelon_Form/Examples_Echelon_Form_IArrays.thy (diff)
The file was modified thys/Echelon_Form/Rings2.thy (diff)