Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Markov_Models: moved stopping time to Isabelle: Isabelle ba194424b895
  2. Lp: adapt to Isabelle a33bbac43359
Changeset 7244:e931b4ac6434 by hoelzl:
Markov_Models: moved stopping time to Isabelle: Isabelle ba194424b895
The file was modified thys/Ergodic_Theory/Recurrence.thy (diff)
The file was modified thys/Markov_Models/Discrete_Time_Markov_Process.thy (diff)
The file was modified thys/Markov_Models/Markov_Models_Auxiliary.thy (diff)
The file was removedthys/Markov_Models/Stopping_Time.thy
Changeset 7243:88fd64adcf9c by hoelzl:
Lp: adapt to Isabelle a33bbac43359
The file was modified thys/Lp/Lp.thy (diff)