Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Added references to Fisher_Yates
  2. Markov_Models: Infimum on enat is a stopping time
Changeset 7158:873b2043d89e by eberlm _eberlm@in.tum.de_:
Added references to Fisher_Yates
The file was addedthys/Fisher_Yates/document/root.bib
The file was modified thys/Fisher_Yates/ROOT (diff)
The file was modified thys/Fisher_Yates/document/root.tex (diff)
Changeset 7157:4757063ed530 by hoelzl:
Markov_Models: Infimum on enat is a stopping time
The file was modified thys/Markov_Models/Continuous_Time_Markov_Chain.thy (diff)
The file was modified thys/Markov_Models/Discrete_Time_Markov_Process.thy (diff)
The file was modified thys/Markov_Models/Stopping_Time.thy (diff)