Summary
- prefer abbreviation for trivial set conversion
- more lemmas
The file was modified | src/HOL/Library/Polynomial_Factorial.thy (diff) |
The file was modified | src/HOL/Number_Theory/Factorial_Ring.thy (diff) |
The file was modified | src/HOL/Number_Theory/Pocklington.thy (diff) |
The file was modified | src/HOL/Number_Theory/Primes.thy (diff) |
The file was modified | src/HOL/Number_Theory/Factorial_Ring.thy (diff) |
The file was modified | src/HOL/Number_Theory/Primes.thy (diff) |