Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Markov_Models: add E_sup_add_right
  2. Discrete_Summation: moved Stirling numbers to Isabelle 3ca3bc795908
Changeset 6555:201451746f1b by hoelzl:
Markov_Models: add E_sup_add_right
The file was modified thys/Markov_Models/Markov_Decision_Process.thy (diff)
Changeset 6554:59eb228ee8d8 by hoelzl:
Discrete_Summation: moved Stirling numbers to Isabelle 3ca3bc795908
The file was modified thys/Card_Partitions/Card_Partitions.thy (diff)
The file was modified thys/Discrete_Summation/Factorials.thy (diff)
The file was removedthys/Discrete_Summation/Stirling.thy