Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more documentation; refactor proof to make approach more visible
Changeset 7930:83b7d95a9526 by Andreas Lochbihler:
more documentation; refactor proof to make approach more visible
The file was modified thys/Probabilistic_While/Bernoulli.thy (diff)
The file was modified thys/Probabilistic_While/Fast_Dice_Roll.thy (diff)
The file was modified thys/Probabilistic_While/Geometric.thy (diff)