Summary
- more lemmas
- include GCD as integral part of computational algebra in session HOL
The file was modified | src/HOL/Divides.thy (diff) |
The file was modified | src/HOL/GCD.thy (diff) |
The file was modified | src/HOL/Nitpick.thy (diff) |
The file was modified | src/HOL/Divides.thy (diff) |
The file was modified | src/HOL/GCD.thy (diff) |
The file was modified | src/HOL/Nitpick.thy (diff) |