Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. dropped obsolete import
  2. prefer map2 from Main HOL
Changeset 10376:8ffbee5ea590 by haftmann:
dropped obsolete import
The file was modified thys/Native_Word/More_Bits_Int.thy
Changeset 10375:9819993ba38c by haftmann:
prefer map2 from Main HOL
The file was modified thys/Affine_Arithmetic/Executable_Euclidean_Space.thy
The file was modified thys/Ordinary_Differential_Equations/Numerics/Abstract_Rigorous_Numerics.thy
The file was modified thys/Ordinary_Differential_Equations/Numerics/Refine_Rigorous_Numerics_Aform.thy
The file was modified thys/Ordinary_Differential_Equations/Refinement/Refine_Vector_List.thy
The file was modified thys/Taylor_Models/Polynomial_Expression_Additional.thy
The file was modified thys/Taylor_Models/Taylor_Models.thy

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. clarified structure of theories
Changeset 70190:ff9efdc84289 by haftmann:
clarified structure of theories
The file was addedsrc/HOL/Word/Misc_Auxiliary.thy
The file was modified src/HOL/Word/Bits.thy
The file was modified src/HOL/Word/Bits_Int.thy
The file was modified src/HOL/Word/Misc_Arithmetic.thy
The file was modified src/HOL/Word/Word.thy
The file was modified src/HOL/Word/Word_Bitwise.thy
The file was removedsrc/HOL/Word/Bit_Representation.thy
The file was removedsrc/HOL/Word/Bool_List_Representation.thy