Replace A by a and E by e in testsuite
A and E are syntax elements in CTL"Fixes" the testsuite for K
Add crucial testcases for K*K
Implement testcase skipping to avoid PML crashes
Add failing PML+K testcase
Flush stdout more often in testsuite
Change AtMostProbable to LessProbableThan
The actual box of PML (in GMLMIP) is: less probable than. The Diamondis: At least Probable than.
So now you have ¬[p] C = <p> C.
Add ocaml part of PML rule application
Remove redundancy from testsuite file
Fix name of testsuite section K*KD
Implement more generic functor parsing/printing
Also available in: Atom