Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. Eliminated references to the obsolete Min_grI
Changeset 7653:2316613ee8a3 by paulson:
merged
Changeset 7652:93848de93692 by paulson _lp15@cam.ac.uk_:
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)