Summary
- merged
- Eliminated references to the obsolete Min_grI
The file was modified | thys/MFMC_Countable/Max_Flow_Min_Cut_Countable.thy (diff) |
The file was modified | thys/Markov_Models/MDP_Reachability_Problem.thy (diff) |
The file was modified | thys/Ordinary_Differential_Equations/ODE_Auxiliarities.thy (diff) |
The file was modified | thys/Randomised_Social_Choice/SD_Efficiency.thy (diff) |
The file was modified | thys/Randomised_Social_Choice/Utility_Functions.thy (diff) |