Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. adapted to devel
Changeset 7377:0945a76b20f8 by nipkow:
adapted to devel
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_Missing_Sublist.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/PP_MPoly.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/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_Subtensor.thy (diff)