Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. slightly less abstract
  2. use formula reversal for the symmetric semantics
  3. adapt to isabelle/ae44f16dcea5
Changeset 6315:a7e4d5151c1a by traytel:
slightly less abstract
The file was modified thys/Formula_Derivatives/Abstract_Formula.thy (diff)
Changeset 6314:6bdf4e4d3b4d by traytel:
use formula reversal for the symmetric semantics
The file was modified thys/Formula_Derivatives/WS1S_Alt_Formula.thy (diff)
Changeset 6313:d11a5408fae1 by traytel:
adapt to isabelle/ae44f16dcea5
The file was modified thys/Probabilistic_System_Zoo/Bool_Bounded_Set.thy (diff)
The file was modified thys/Probabilistic_System_Zoo/Finitely_Bounded_Set_Counterexample.thy (diff)
The file was modified thys/Probabilistic_System_Zoo/Nonempty_Bounded_Set.thy (diff)
The file was modified thys/Probabilistic_System_Zoo/Probabilistic_Hierarchy.thy (diff)
The file was modified thys/Probabilistic_System_Zoo/Vardi_Counterexample.thy (diff)