a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachNotes

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachThe modal indexes are allowed to be only strings containing letters - at the moment - (any other thing will result in a parsing error).

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus RoggenbachThe binding order "~" >> "/\" >> "\/" >> "<-" = "->" = "<->" is not set yet.

b4fbc96e05117839ca409f5f20f97b3ac872d1edTill MossakowskiThe following tests contain eronated formulae:

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach test03

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach test07

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach test08

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach test09

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach test10

a79fe3aad8743ea57e473ea5f66a723244cb9c0eMarkus Roggenbach