Summary
- more complete and more correct documentation on code generation
- grouped material on numeral division
The file was modified | src/Doc/Codegen/Foundations.thy (diff) |
The file was modified | src/Doc/Isar_Ref/HOL_Specific.thy (diff) |
The file was modified | src/HOL/Divides.thy (diff) |
The file was modified | src/HOL/Rings.thy (diff) |