Summary
- Deep_Learning: use antiquotations for filenames; filenames contain underscore which confuses latex
The file was modified | thys/Deep_Learning/PP_MPoly.thy (diff) |
The file was modified | thys/Deep_Learning/PP_Univariate.thy (diff) |
The file was modified | thys/Deep_Learning/PP_MPoly.thy (diff) |
The file was modified | thys/Deep_Learning/PP_Univariate.thy (diff) |