Syntax mCRL2 used in GraPE

This chapter of the help file shows you all information about the syntax used in GraPE.