Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. isabelle update_cartouches -c -t;
  3. isabelle update_cartouches -c -t;
Changeset 63147:6a131df8e3d9 by wenzelm:
merged
Changeset 63146:f1ecba0272f9 by wenzelm:
isabelle update_cartouches -c -t;
The file was modified src/HOL/UNITY/Comp.thy (diff)
The file was modified src/HOL/UNITY/Comp/Alloc.thy (diff)
The file was modified src/HOL/UNITY/Comp/AllocBase.thy (diff)
The file was modified src/HOL/UNITY/Comp/AllocImpl.thy (diff)
The file was modified src/HOL/UNITY/Comp/Client.thy (diff)
The file was modified src/HOL/UNITY/Comp/Counter.thy (diff)
The file was modified src/HOL/UNITY/Comp/Counterc.thy (diff)
The file was modified src/HOL/UNITY/Comp/Priority.thy (diff)
The file was modified src/HOL/UNITY/Comp/PriorityAux.thy (diff)
The file was modified src/HOL/UNITY/Comp/Progress.thy (diff)
The file was modified src/HOL/UNITY/Constrains.thy (diff)
The file was modified src/HOL/UNITY/Detects.thy (diff)
The file was modified src/HOL/UNITY/ELT.thy (diff)
The file was modified src/HOL/UNITY/Extend.thy (diff)
The file was modified src/HOL/UNITY/FP.thy (diff)
The file was modified src/HOL/UNITY/Follows.thy (diff)
The file was modified src/HOL/UNITY/Guar.thy (diff)
The file was modified src/HOL/UNITY/Lift_prog.thy (diff)
The file was modified src/HOL/UNITY/ListOrder.thy (diff)
The file was modified src/HOL/UNITY/PPROD.thy (diff)
The file was modified src/HOL/UNITY/ProgressSets.thy (diff)
The file was modified src/HOL/UNITY/Project.thy (diff)
The file was modified src/HOL/UNITY/Rename.thy (diff)
The file was modified src/HOL/UNITY/Simple/Common.thy (diff)
The file was modified src/HOL/UNITY/Simple/Lift.thy (diff)
The file was modified src/HOL/UNITY/Simple/NSP_Bad.thy (diff)
The file was modified src/HOL/UNITY/Simple/Reach.thy (diff)
The file was modified src/HOL/UNITY/Simple/Token.thy (diff)
The file was modified src/HOL/UNITY/SubstAx.thy (diff)
The file was modified src/HOL/UNITY/Transformers.thy (diff)
The file was modified src/HOL/UNITY/UNITY.thy (diff)
The file was modified src/HOL/UNITY/UNITY_Main.thy (diff)
The file was modified src/HOL/UNITY/Union.thy (diff)
The file was modified src/HOL/UNITY/WFair.thy (diff)
Changeset 63145:703edebd1d92 by wenzelm:
isabelle update_cartouches -c -t;
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/GCD.thy (diff)
The file was modified src/HOL/Groups.thy (diff)
The file was modified src/HOL/Library/Disjoint_Sets.thy (diff)
The file was modified src/HOL/Library/Extended_Nonnegative_Real.thy (diff)
The file was modified src/HOL/Library/Extended_Real.thy (diff)
The file was modified src/HOL/Library/Polynomial.thy (diff)
The file was modified src/HOL/Library/Stirling.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Multivariate_Analysis/Polytope.thy (diff)
The file was modified src/HOL/Nat.thy (diff)
The file was modified src/HOL/Series.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)