Summary
- adapting to Isabelle/91eae3a1be51, tuning
The file was modified | thys/Automatic_Refinement/Lib/Misc.thy (diff) |
The file was modified | thys/Berlekamp_Zassenhaus/Berlekamp_Type_Based.thy (diff) |
The file was modified | thys/Berlekamp_Zassenhaus/Factor_Bound.thy (diff) |
The file was modified | thys/EdmondsKarp_Maxflow/evaluation/fofu-SML/Fofu_Export.sml (diff) |
The file was modified | thys/Lambda_Free_RPOs/Extension_Orders.thy (diff) |
The file was modified | thys/Lambda_Free_RPOs/Lambda_Free_Util.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Missing_Multiset.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Prime_Factorization.thy (diff) |
The file was modified | thys/Program-Conflict-Analysis/Misc.thy (diff) |