![[Jenkins]](/jenkins/static/51af4dc4/images/svgs/logo.svg){kind=logo}
Summary
- add theory prefix to some theorem names (for Isabelle 685fb01256af)
| The file was modified | thys/Ergodic_Theory/Conditional_Expectation.thy (diff) |
| The file was modified | thys/Ergodic_Theory/Gouezel_Karlsson.thy (diff) |
| The file was modified | thys/Ergodic_Theory/Invariants.thy (diff) |
| The file was modified | thys/Ergodic_Theory/Kingman.thy (diff) |
| The file was modified | thys/Ergodic_Theory/Measure_Preserving_Transformations.thy (diff) |
| The file was modified | thys/Ergodic_Theory/SG_Library_Complement.thy (diff) |
| The file was modified | thys/Girth_Chromatic/Girth_Chromatic.thy (diff) |
| The file was modified | thys/List_Update/Prob_Theory.thy (diff) |
| The file was modified | thys/MFMC_Countable/Max_Flow_Min_Cut_Countable.thy (diff) |
| The file was modified | thys/Markov_Models/Classifying_Markov_Chain_States.thy (diff) |
| The file was modified | thys/Markov_Models/MDP_Reachability_Problem.thy (diff) |
| The file was modified | thys/Random_Graph_Subgraph_Threshold/Subgraph_Threshold.thy (diff) |
| The file was modified | thys/Random_Graph_Subgraph_Threshold/Ugraph_Misc.thy (diff) |