Summary
- transfer lifting rule for numeral
- more standard naming convention
The file was modified | src/HOL/Code_Numeral.thy (diff) |
The file was modified | src/HOL/Num.thy (diff) |
The file was modified | src/HOL/Number_Theory/Euclidean_Algorithm.thy (diff) |
The file was modified | src/HOL/Code_Numeral.thy (diff) |
The file was modified | src/HOL/Num.thy (diff) |
The file was modified | src/HOL/Number_Theory/Euclidean_Algorithm.thy (diff) |