diff --git a/CSPM-ToProlog.cabal b/CSPM-ToProlog.cabal
--- a/CSPM-ToProlog.cabal
+++ b/CSPM-ToProlog.cabal
@@ -1,5 +1,5 @@
 Name:                CSPM-ToProlog
-Version:             0.5.1.0
+Version:             0.5.2.0
 Synopsis:            some modules specific for the ProB tool
 Description:
   This package contains a translation from a CSPM AST to the representation
@@ -9,20 +9,20 @@
 License:             BSD3
 category:            Formal Methods
 License-File:        LICENSE
-Author:              2006-2013 Marc Fontaine
-Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>
-Cabal-Version:  >= 1.10
-Tested-With:    GHC==7.6.3
+Author:              2006-2014 Marc Fontaine
+Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
+Cabal-Version:  >= 1.20
+Tested-With:    GHC==7.8.3
 Build-Type:     Simple
 
 Library
   Default-Language: Haskell2010
   Build-Depends:
-    CSPM-Frontend >= 0.9 && < 0.10
+    CSPM-Frontend >= 0.10 && < 0.11
     ,pretty >= 1.1 && < 1.2
     ,base >= 4.0 && <5.0
     ,containers >= 0.5 && <0.6
-    ,array >=0.4 && <0.5
+    ,array >=0.5 && <0.6
     ,ghc-prim >= 0.3 && <0.4
 
   Hs-Source-Dirs: src
diff --git a/src/Language/CSPM/AstToProlog.hs b/src/Language/CSPM/AstToProlog.hs
--- a/src/Language/CSPM/AstToProlog.hs
+++ b/src/Language/CSPM/AstToProlog.hs
@@ -156,12 +156,6 @@
 instance TP t => GTPL (K1 R t)  where
     gtpl _l x = tp $ unK1 x
 
-instance TP t => GTP (K1 P t)  where
-    gtp x = hsep [ text "rec" , lparen, tp $ unK1 x, rparen]
-
-instance TP t => GTPL (K1 P t)  where
-    gtpl _ x = hsep [ text "rec" , lparen, tp $ unK1 x, rparen]
-
 instance GTP V1 where gtp _ = text "V1"
 instance GTPL V1 where gtpl _ _ = text "V1"