Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Parity_Game: Show compatibility with Graph_Theory
Changeset 7556:e5042ba1b345 by christoph dittmann _christoph.dittmann@tu-berlin.de_:
Parity_Game: Show compatibility with Graph_Theory
The file was addedthys/Parity_Game/Graph_TheoryCompatibility.thy
The file was modified thys/Parity_Game/ROOT (diff)