move file to make external access possible

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>

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() {

de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverReasoner.java → de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/DisproverReasoner.java

-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;

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;