Changes

Summary

tuned whitespaces (including CRLF -> LF conversion)

Changeset 7499:364bc662cb2e by blanchet: tuned whitespaces (including CRLF -> LF conversion)
The file was modified	`thys/Deep_Learning/DL_Concrete_Matrices.thy` (diff)
The file was modified	`thys/Deep_Learning/DL_Deep_Model.thy` (diff)
The file was modified	`thys/Deep_Learning/DL_Deep_Model_Poly.thy` (diff)
The file was modified	`thys/Deep_Learning/DL_Flatten_Matrix.thy` (diff)
The file was modified	`thys/Deep_Learning/DL_Fundamental_Theorem_Network_Capacity.thy` (diff)
The file was modified	`thys/Deep_Learning/DL_Missing_Finite_Set.thy` (diff)
The file was modified	`thys/Deep_Learning/DL_Missing_List.thy` (diff)
The file was modified	`thys/Deep_Learning/DL_Missing_Matrix.thy` (diff)
The file was modified	`thys/Deep_Learning/DL_Missing_Sublist.thy` (diff)
The file was modified	`thys/Deep_Learning/DL_Missing_VS_Connect.thy` (diff)
The file was modified	`thys/Deep_Learning/DL_Missing_Vector_Space.thy` (diff)
The file was modified	`thys/Deep_Learning/DL_Network.thy` (diff)
The file was modified	`thys/Deep_Learning/DL_Rank.thy` (diff)
The file was modified	`thys/Deep_Learning/DL_Rank_CP_Rank.thy` (diff)
The file was modified	`thys/Deep_Learning/DL_Rank_Submatrix.thy` (diff)
The file was modified	`thys/Deep_Learning/DL_Shallow_Model.thy` (diff)
The file was modified	`thys/Deep_Learning/DL_Submatrix.thy` (diff)
The file was modified	`thys/Deep_Learning/Lebesgue_Functional.thy` (diff)
The file was modified	`thys/Deep_Learning/Lebesgue_Zero_Set.thy` (diff)
The file was modified	`thys/Deep_Learning/PP_Auxiliary.thy` (diff)
The file was modified	`thys/Deep_Learning/PP_MPoly.thy` (diff)
The file was modified	`thys/Deep_Learning/PP_More_List2.thy` (diff)
The file was modified	`thys/Deep_Learning/PP_More_MPoly.thy` (diff)
The file was modified	`thys/Deep_Learning/PP_Poly_Mapping.thy` (diff)
The file was modified	`thys/Deep_Learning/PP_Univariate.thy` (diff)
The file was modified	`thys/Deep_Learning/Tensor.thy` (diff)
The file was modified	`thys/Deep_Learning/Tensor_Matricization.thy` (diff)
The file was modified	`thys/Deep_Learning/Tensor_Plus.thy` (diff)
The file was modified	`thys/Deep_Learning/Tensor_Product.thy` (diff)
The file was modified	`thys/Deep_Learning/Tensor_Rank.thy` (diff)
The file was modified	`thys/Deep_Learning/Tensor_Scalar_Mult.thy` (diff)
The file was modified	`thys/Deep_Learning/Tensor_Subtensor.thy` (diff)
The file was modified	`thys/Deep_Learning/Tensor_Unit_Vec.thy` (diff)