CSPM-ToProlog-0.4.0.0: some modules specific for the ProB tool

Index

cspToPrologLanguage.CSPM.AstToProlog
mkSrcLocLanguage.CSPM.AstToProlog
mkSymbolTableLanguage.CSPM.AstToProlog
translateToPrologLanguage.CSPM.TranslateToProlog