Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. removed ancient nat-int transfer
  2. added lemma
Changeset 66954:0230af0f3c59 by haftmann:
removed ancient nat-int transfer
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 removedsrc/HOL/Nat_Transfer.thy
The file was removedsrc/HOL/ex/Transfer_Ex.thy
Changeset 66953:826a5fd4d36c by haftmann:
added lemma
The file was modified src/HOL/Analysis/Connected.thy (diff)
The file was modified src/HOL/Nat.thy (diff)