Summary
- moved several auxiliary lemmas of IsaFoR into AFP
The file was modified | thys/Abstract-Rewriting/Abstract_Rewriting.thy (diff) |
The file was modified | thys/Abstract-Rewriting/Relative_Rewriting.thy (diff) |
The file was modified | thys/Matrix/Utility.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Missing_List.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Missing_Multiset.thy (diff) |