Summary
- prefer abbreviation for trivial set conversion
The file was modified | thys/Lehmer/Lehmer.thy (diff) |
The file was modified | thys/Polynomial_Factorization/Prime_Factorization.thy (diff) |
The file was modified | thys/Pratt_Certificate/Pratt_Certificate.thy (diff) |