Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. more operations;
  3. removed unused operations; tuned (again);
  4. clarified signature: more operations;
  5. tuned;
  6. tuned comments;
  7. tuned;
  8. clarified session resources for bootstrap, notably for Scala functions;
  9. tuned;
  10. clarified signature;
  11. tuned signature;
  12. clarified types and defaults;
  13. merged
  14. added lemmas monotone{,_on}_multp_multp_image_mset
  15. added lemmas monotone_on_empty[simp] and monotone_on_subset
  16. added predicate monotone_on and redefined monotone to be an abbreviation.
Changeset 75597:e6e0a95f87f3 by wenzelm:
merged
Changeset 75596:7ff9745609d7 by wenzelm:
more operations;
The file was modified src/Pure/General/bytes.ML (diff)
Changeset 75595:ecbd0b38256b by wenzelm:
removed unused operations;<br>tuned (again);
The file was modified src/Pure/General/file.ML (diff)
Changeset 75594:303f885d4a8c by wenzelm:
clarified signature: more operations;
The file was modified src/Pure/General/bytes.ML (diff)
The file was modified src/Pure/ML/ml_init.ML (diff)
Changeset 75593:3e09396db078 by wenzelm:
tuned;
The file was modified src/Pure/General/file.ML (diff)
Changeset 75592:f72b88f2842c by wenzelm:
tuned comments;
The file was modified src/Pure/General/bytes.ML (diff)
Changeset 75591:abd110cb7327 by wenzelm:
tuned;
The file was modified src/Pure/ML/ml_process.scala (diff)
Changeset 75590:99b7638d9177 by wenzelm:
clarified session resources for bootstrap, notably for Scala functions;
The file was modified src/Pure/ML/ml_process.scala (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
Changeset 75589:3bee51daf9a9 by wenzelm:
tuned;
The file was modified src/Pure/System/options.ML (diff)
Changeset 75588:3349e360b71d by wenzelm:
clarified signature;
The file was modified src/Pure/General/bytes.scala (diff)
The file was modified src/Pure/System/scala.scala (diff)
Changeset 75587:79b4efd17d2b by wenzelm:
tuned signature;
The file was modified src/Pure/General/bytes.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 75586:b2b097624e4c by wenzelm:
clarified types and defaults;
The file was modified src/Pure/General/bytes.scala (diff)
The file was modified src/Pure/PIDE/resources.ML (diff)
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Pure/System/scala.scala (diff)
Changeset 75585:a789c5732f7a by desharna:
merged
Changeset 75584:c32658b9e4df by desharna:
added lemmas monotone{,_on}_multp_multp_image_mset
The file was modified NEWS (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
Changeset 75583:451e17e0ba9d by desharna:
added lemmas monotone_on_empty[simp] and monotone_on_subset
The file was modified NEWS (diff)
The file was modified src/HOL/Fun.thy (diff)
Changeset 75582:6fb4a0829cc4 by desharna:
added predicate monotone_on and redefined monotone to be an abbreviation.
The file was modified NEWS (diff)
The file was modified src/HOL/Fun.thy (diff)
The file was modified src/HOL/Library/Complete_Partial_Order2.thy (diff)
The file was modified src/HOL/Orderings.thy (diff)