Changes

Summary

  1. moved relevant theorems from theory Divides to theory Euclidean_Division
  2. amend jenkins ci build;
  3. restructured ci profile into modular ci build system;
Changeset 76224:64e8d4afcf10 by haftmann:
moved relevant theorems from theory Divides to theory Euclidean_Division
The file was modifiedsrc/HOL/Divides.thy (diff)
The file was modifiedsrc/HOL/Euclidean_Division.thy (diff)
The file was modifiedsrc/HOL/Groebner_Basis.thy (diff)
The file was modifiedsrc/HOL/Main.thy (diff)
The file was modifiedsrc/HOL/Number_Theory/Cong.thy (diff)
The file was modifiedsrc/HOL/Numeral_Simprocs.thy (diff)
The file was modifiedsrc/HOL/Set_Interval.thy (diff)
Changeset 76223:be91db94e526 by fabian huch _huch@in.tum.de_:
amend jenkins ci build;
The file was modifiedAdmin/jenkins/run_build (diff)
Changeset 76222:3c4e373922ca by fabian huch _huch@in.tum.de_:
restructured ci profile into modular ci build system;
The file was addedsrc/Pure/Admin/ci_build.scala
The file was modifiedAdmin/jenkins/run_build (diff)
The file was modifiedetc/build.props (diff)
The file was modifiedsrc/Pure/System/isabelle_tool.scala (diff)
The file was removedsrc/Pure/Admin/ci_build_benchmark.scala
The file was removedsrc/Pure/Admin/ci_profile.scala