![[Jenkins]](/jenkins/static/98dcae99/images/svgs/logo.svg){kind=logo}
Summary
- updated to new "sorted"
| The file was modified | thys/Berlekamp_Zassenhaus/Degree_Bound.thy (diff) |
| The file was modified | thys/Berlekamp_Zassenhaus/Sublist_Iteration.thy (diff) |
| The file was modified | thys/Groebner_Bases/General.thy (diff) |
| The file was modified | thys/Regex_Equivalence/Deriv_PDeriv.thy (diff) |
| The file was modified | thys/Regex_Equivalence/Derivatives_Finite.thy (diff) |
| The file was modified | thys/Routing/Routing_Table.thy (diff) |
| The file was modified | thys/Treaps/Treap_Sort_and_BSTs.thy (diff) |