Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. remove spurious find_theorems
  2. HOL-Probability: Projective_Limit was missing (cf. 44ce6b524ff3); tuned
Changeset 63717:3b0500bd2240 by hoelzl:
remove spurious find_theorems
The file was modified src/HOL/Deriv.thy (diff)
Changeset 63716:91a0494d8a4a by hoelzl:
HOL-Probability: Projective_Limit was missing (cf. 44ce6b524ff3); tuned
The file was modified src/HOL/Probability/Probability.thy (diff)