![[Jenkins]](/jenkins/static/51af4dc4/images/svgs/logo.svg){kind=logo}
Summary
- dropped junk
| The file was modified | thys/Deep_Learning/DL_Missing_Vector_Space.thy (diff) |
| The file was modified | thys/Fermat3_4/Fermat4.thy (diff) |
| The file was modified | thys/Fermat3_4/Quad_Form.thy (diff) |
| The file was modified | thys/InfPathElimination/RB.thy (diff) |
| The file was modified | thys/LOFT/Featherweight_OpenFlow_Comparison.thy (diff) |
| The file was modified | thys/PseudoHoops/PseudoHoops.thy (diff) |
| The file was modified | thys/Refine_Imperative_HOL/Userguides/Sepref_Guide_Quickstart.thy (diff) |
| The file was modified | thys/SumSquares/FourSquares.thy (diff) |
| The file was modified | thys/SumSquares/TwoSquares.thy (diff) |
| The file was modified | thys/Word_Lib/Word_Lemmas.thy (diff) |