Skip to content
Snippets Groups Projects
Select Git revision
0 results

AndroidSystemSEPolicy

  • Clone with SSH
  • Clone with HTTPS
    • Thorsten Wißmann's avatar
    Change AtMostProbable to LessProbableThan
    Thorsten Wißmann authored 
    The actual box of PML (in GMLMIP) is: less probable than. The Diamond
is: At least Probable than.

So now you have ¬[p] C = <p> C.
    c855ba91
    History
    Thorsten Wißmann's avatar c855ba91
    History
    Name Last commit Last update