Summary
- slightly less abstract
- use formula reversal for the symmetric semantics
- adapt to isabelle/ae44f16dcea5
The file was modified | thys/Formula_Derivatives/Abstract_Formula.thy (diff) |
The file was modified | thys/Formula_Derivatives/WS1S_Alt_Formula.thy (diff) |
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) |