Summary
- Repaired some very fragile proofs
The file was modified | thys/Lp/Lp.thy (diff) |
The file was modified | thys/Ordinary_Differential_Equations/IVP/Poincare_Map.thy (diff) |
The file was modified | thys/Source_Coding_Theorem/Source_Coding_Theorem.thy (diff) |
The file was modified | thys/Winding_Number_Eval/Cauchy_Index_Theorem.thy (diff) |
The file was modified | thys/Winding_Number_Eval/Winding_Number_Eval.thy (diff) |