Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Finite_Map: monotonicity
  2. State_Monad: more simp lemmas
  3. enforce ML_system_64: more robust as cold build, without command_timings;
  4. clarified signature;
  5. removed obsolete RC tags;
  6. (re)moved lemmas
  7. updated to renaming
Changeset 68757:e7e3776385ba by lars hupel _lars.hupel@mytum.de_:
Finite_Map: monotonicity
The file was modified src/HOL/Library/Finite_Map.thy (diff)
Changeset 68756:7066e83dfe46 by lars hupel _lars.hupel@mytum.de_:
State_Monad: more simp lemmas
The file was modified src/HOL/Library/State_Monad.thy (diff)
Changeset 68755:67d6f1708ea4 by wenzelm:
enforce ML_system_64: more robust as cold build, without command_timings;
The file was modified src/Pure/Admin/build_release.scala (diff)
Changeset 68754:8999f9143e5f by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 68753:b0ed78ffa4d9 by wenzelm:
removed obsolete RC tags;
The file was modified .hgtags (diff)
Changeset 68752:f221bc388ad0 by nipkow:
(re)moved lemmas
The file was modified src/HOL/Analysis/Extended_Real_Limits.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)
Changeset 68751:640386ab99f3 by nipkow:
updated to renaming
The file was modified src/HOL/Probability/Essential_Supremum.thy (diff)