new theories UNITY/Detects, UNITY/Reachability
new theories UNITY/Detects, UNITY/Reachability

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle