Summary
- adapted to 73cd69353f7f
The file was modified | thys/Amortized_Complexity/Splay_Tree_Analysis_Optimal.thy (diff) |
The file was modified | thys/Ordinary_Differential_Equations/Ex/Example_van_der_Pol.thy (diff) |
The file was modified | thys/Pratt_Certificate/Pratt_Certificate.thy (diff) |