Summary
- renamed lemma to a more consistent name
- tuned
- remove accidentally oops'ed (and wrong) lemma
- transfer lifting rule for numeral
- more standard naming convention
The file was modified | src/HOL/Library/Finite_Map.thy (diff) |
The file was modified | src/HOL/Library/Finite_Map.thy (diff) |
The file was modified | src/HOL/Library/Finite_Map.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) |