diff --git a/de.prob.eventb.disprover.core/plugin.xml b/de.prob.eventb.disprover.core/plugin.xml
index 30a8c2e72c6ef161759c1fdb7eb86fcece6f19d4..caa58d21bc53b640186cef181bcb063d3603dacd 100644
--- a/de.prob.eventb.disprover.core/plugin.xml
+++ b/de.prob.eventb.disprover.core/plugin.xml
@@ -4,7 +4,7 @@
    <extension
          point="org.eventb.core.seqprover.reasoners">
       <reasoner
-            class="de.prob.eventb.disprover.core.internal.DisproverReasoner"
+            class="de.prob.eventb.disprover.core.DisproverReasoner"
             id="disproverReasoner"
             name="%reasoner.name">
       </reasoner>
diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/Disprover.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/Disprover.java
index acc0d170cbe9827278ab4866607a70182b88e1d6..9c977d04ade26352955ac73880c983e165dc2d8e 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/Disprover.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/Disprover.java
@@ -2,8 +2,6 @@ package de.prob.eventb.disprover.core;
 
 import org.eventb.core.seqprover.IReasoner;
 
-import de.prob.eventb.disprover.core.internal.DisproverReasoner;
-
 public class Disprover {
 
 	private Disprover() {
diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasoner.java
similarity index 97%
rename from de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
rename to de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasoner.java
index dac3f05e6632c561e37210688b758d13b5c3fbea..2270dc2d7b930634c06945c154f491c05adfec0e 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasoner.java
@@ -1,4 +1,4 @@
-package de.prob.eventb.disprover.core.internal;
+package de.prob.eventb.disprover.core;
 
 import java.util.*;
 
@@ -12,7 +12,8 @@ import org.rodinp.core.*;
 import de.be4.classicalb.core.parser.analysis.prolog.ASTProlog;
 import de.be4.classicalb.core.parser.node.AEventBContextParseUnit;
 import de.prob.core.*;
-import de.prob.eventb.disprover.core.DisproverReasonerInput;
+import de.prob.eventb.disprover.core.internal.DisproverCommand;
+import de.prob.eventb.disprover.core.internal.ICounterExample;
 import de.prob.eventb.disprover.core.translation.DisproverContextCreator;
 import de.prob.eventb.translator.internal.TranslationVisitor;
 import de.prob.exceptions.ProBException;
diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
index c5993717ea796244cc3f5a6478a42f6c520504a0..abab61b75326085b544e8704b0de7dda2541923b 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
@@ -11,6 +11,7 @@ import de.be4.classicalb.core.parser.analysis.prolog.ASTProlog;
 import de.be4.classicalb.core.parser.node.AEventBContextParseUnit;
 import de.prob.core.*;
 import de.prob.core.command.*;
+import de.prob.eventb.disprover.core.DisproverReasoner;
 import de.prob.eventb.disprover.core.command.DisproverLoadCommand;
 import de.prob.eventb.translator.internal.TranslationVisitor;
 import de.prob.exceptions.ProBException;