@hackage CSPM-ToProlog0.5.2.0

some modules specific for the ProB tool

This package contains a translation from a CSPM AST to the representation used by the ProB tool. This code is only interesting for ProB developers.