add de.prob.theorymapping to dependencies

build.gradle

@@ -45,6 +45,7 @@ project(':de.prob.core') {
 	 compile group: "de.prob", name: "parserbase", version: parser_version , changing: true
 	 compile group: "de.prob", name: "prologlib", version: parser_version , changing: true
 	 compile group: "de.prob", name: "unicode", version: parser_version , changing: true
+	 compile group: "de.prob", name: "theorymapping", version: parser_version , changing: true
 	 compile 'jgrapht:jgrapht:0.8.3'
 	 compile 'commons-lang:commons-lang:2.6'
 	}

de.prob.core/build.gradle

@@ -10,6 +10,7 @@ dependencies {
  compile group: "de.prob", name: "parserbase", version: parser_version , changing: true
  compile group: "de.prob", name: "prologlib", version: parser_version , changing: true
  compile group: "de.prob", name: "unicode", version: parser_version , changing: true
+ compile group: "de.prob", name: "theorymapping", version: parser_version , changing: true
  compile 'jgrapht:jgrapht:0.8.3'
  compile 'commons-lang:commons-lang:2.6'
  compile 'commons-codec:commons-codec:1.6'