Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. reorganise imports to make abstract results usable without refinement framework; adjust proofs accordingly
Changeset 8083:86e817d9bcb7 by Andreas Lochbihler:
merged
Changeset 8082:460bc0020d3a by Andreas Lochbihler:
reorganise imports to make abstract results usable without refinement framework;<br>adjust proofs accordingly
The file was addedthys/EdmondsKarp_Maxflow/EdmondsKarp_Termination_Abstract.thy
The file was modified thys/EdmondsKarp_Maxflow/EdmondsKarp_Algo.thy (diff)
The file was modified thys/EdmondsKarp_Maxflow/ROOT (diff)
The file was modified thys/Flow_Networks/Graph.thy (diff)
The file was modified thys/Flow_Networks/Lib/Fofu_Impl_Base.thy (diff)
The file was modified thys/Prpu_Maxflow/Generic_Push_Relabel.thy (diff)