Summary
- merged
- Tidied some messy proofs
- prefer canonical theorem name for fact collection declarations
- merged
- Tidying ugly proofs
- tuned;
The file was modified | src/HOL/Decision_Procs/Parametric_Ferrante_Rackoff.thy (diff) |
The file was modified | src/HOL/Decision_Procs/Polynomial_List.thy (diff) |
The file was modified | src/HOL/Groups.thy (diff) |
The file was modified | src/HOL/Analysis/Brouwer_Fixpoint.thy (diff) |
The file was modified | src/HOL/Library/Groups_Big_Fun.thy (diff) |
The file was modified | src/HOL/Library/Multiset.thy (diff) |
The file was modified | src/HOL/Library/Poly_Mapping.thy (diff) |
The file was modified | src/Pure/Admin/ci_build.scala (diff) |