Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. merged
  3. clarified signature: just one level of arguments to avoid type-inference problems;
  4. tuned signature: more operations;
  5. tuned;
  6. clarified signature;
  7. stated goals of some lemmas explicitely to prevent silent changes
  8. rewrite proofs using to_pred attribute on existing lemmas
Changeset 76595:5af17ce5d297 by wenzelm:
tuned;
The file was modified src/Pure/General/timing.scala (diff)
Changeset 76594:186dcfe746e3 by wenzelm:
merged
Changeset 76593:badb5264f7b9 by wenzelm:
clarified signature: just one level of arguments to avoid type-inference problems;
The file was modified src/Pure/General/logger.scala (diff)
The file was modified src/Pure/General/timing.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
Changeset 76592:ec8bf1268f45 by wenzelm:
tuned signature: more operations;
The file was modified src/Pure/General/logger.scala (diff)
The file was modified src/Pure/General/timing.scala (diff)
The file was modified src/Pure/System/progress.scala (diff)
Changeset 76591:b9a7a658f7df by wenzelm:
tuned;
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
Changeset 76590:3fc3c7c285cd by wenzelm:
clarified signature;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/PIDE/session.scala (diff)
The file was modified src/Tools/VSCode/src/language_server.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)
The file was modified src/Tools/jEdit/src/jedit_resources.scala (diff)
The file was modified src/Tools/jEdit/src/main_plugin.scala (diff)
Changeset 76589:1c083e32aed6 by desharna:
stated goals of some lemmas explicitely to prevent silent changes
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 76588:82a36e3d1b55 by desharna:
rewrite proofs using to_pred attribute on existing lemmas
The file was modified src/HOL/Relation.thy (diff)
The file was modified src/HOL/Wellfounded.thy (diff)