Changes

Summary

prefer standard theory name;

Changeset 8527:8b398dbd8b99 by wenzelm: prefer standard theory name;
The file was modified	`thys/Applicative_Lifting/Applicative_PMF.thy` (diff)
The file was modified	`thys/Buffons_Needle/Buffons_Needle.thy` (diff)
The file was modified	`thys/Density_Compiler/Density_Predicates.thy` (diff)
The file was modified	`thys/Ergodic_Theory/SG_Library_Complement.thy` (diff)
The file was modified	`thys/Fisher_Yates/Fisher_Yates.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/MFMC_Misc.thy` (diff)
The file was modified	`thys/Markov_Models/Markov_Models_Auxiliary.thy` (diff)
The file was modified	`thys/Monad_Normalisation/Monad_Normalisation.thy` (diff)
The file was modified	`thys/Monomorphic_Monad/Monomorphic_Monad.thy` (diff)
The file was modified	`thys/Probabilistic_System_Zoo/Probabilistic_Hierarchy.thy` (diff)
The file was modified	`thys/Probabilistic_While/Bernoulli.thy` (diff)
The file was modified	`thys/Quick_Sort_Cost/Randomised_Quick_Sort.thy` (diff)
The file was modified	`thys/Random_Graph_Subgraph_Threshold/Prob_Lemmas.thy` (diff)
The file was modified	`thys/Random_Graph_Subgraph_Threshold/Ugraph_Misc.thy` (diff)
The file was modified	`thys/Randomised_Social_Choice/Lotteries.thy` (diff)
The file was modified	`thys/Randomised_Social_Choice/Social_Decision_Schemes.thy` (diff)
The file was modified	`thys/Randomised_Social_Choice/Stochastic_Dominance.thy` (diff)
The file was modified	`thys/Randomised_Social_Choice/Utility_Functions.thy` (diff)
The file was modified	`thys/UpDown_Scheme/Grid_Point.thy` (diff)
The file was modified	`thys/UpDown_Scheme/Triangular_Function.thy` (diff)