Summary
- removed ancient nat-int transfer
- added lemma
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Decision_Procs/Conversions.thy (diff) |
The file was modified | src/HOL/Main.thy (diff) |
The file was modified | src/HOL/Mutabelle/mutabelle_extra.ML (diff) |
The file was modified | src/HOL/Number_Theory/Cong.thy (diff) |
The file was modified | src/HOL/Number_Theory/Residues.thy (diff) |
The file was modified | src/HOL/ROOT (diff) |
The file was modified | src/HOL/ex/Transfer_Int_Nat.thy (diff) |
The file was removed | src/HOL/Nat_Transfer.thy |
The file was removed | src/HOL/ex/Transfer_Ex.thy |
The file was modified | src/HOL/Analysis/Connected.thy (diff) |
The file was modified | src/HOL/Nat.thy (diff) |