Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. improved simp rule insert_Times_insert (following Dominique Unruh).
  3. afford multiple tests for arm64_32-darwin on this fast machine;
  4. proper history_base for AMR64;
  5. tuned
Changeset 78498:964de51dd2e4 by nipkow:
merged
Changeset 78497:b159a5496a3e by nipkow:
improved simp rule insert_Times_insert (following Dominique Unruh).
The file was modified src/HOL/Product_Type.thy (diff)
Changeset 78496:2a26d423d9fb by wenzelm:
afford multiple tests for arm64_32-darwin on this fast machine;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78495:36cb78cd2288 by wenzelm:
proper history_base for AMR64;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 78494:10264fe8012f by nipkow:
tuned
The file was modified src/Doc/Prog_Prove/Logic.thy (diff)