Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned;
  2. isabelle update_cartouches -c -t;
Changeset 63309:a77adb28a27a by wenzelm:
tuned;
The file was modified src/HOL/Library/Indicator_Function.thy (diff)
Changeset 63308:d49580620ecb by wenzelm:
isabelle update_cartouches -c -t;
The file was modified src/HOL/Probability/SPMF.thy (diff)