Summary
- 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) |