Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. merged
  2. tuned
  3. merged
  4. added "isabelle sessions" tool;
  5. tuned messages;
  6. use abs(h l - h r) instead of 3 cases, tuned proofs
  7. added lemmas
Changeset 71811:fa4f8f3d69f2 by nipkow:
merged
Changeset 71810:7567f73ef541 by nipkow:
tuned
The file was modified src/HOL/Data_Structures/Height_Balanced_Tree.thy (diff)
Changeset 71809:3c6586a599bb by wenzelm:
merged
Changeset 71808:e2ad50885887 by wenzelm:
added "isabelle sessions" tool;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 71807:cdfa8f027bb9 by wenzelm:
tuned messages;
The file was modified src/Doc/System/Sessions.thy (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Pure/Tools/dump.scala (diff)
The file was modified src/Pure/Tools/update.scala (diff)
Changeset 71806:884c6c0bc99a by nipkow:
use abs(h l - h r) instead of 3 cases, tuned proofs
The file was modified src/HOL/Data_Structures/AVL_Map.thy (diff)
The file was modified src/HOL/Data_Structures/AVL_Set.thy (diff)
Changeset 71805:62b17adad0cc by nipkow:
added lemmas
The file was modified src/HOL/Number_Theory/Fib.thy (diff)