update dependencies

de.prob2.disprover.feature/feature.xml

@@ -232,12 +232,14 @@ litigation.
    <requires>
       <import plugin="org.eclipse.core.runtime" version="3.5.0" match="compatible"/>
       <import plugin="de.prob.core" version="9.4.0" match="equivalent"/>
-      <import plugin="org.eventb.core" version="2.5.1" match="compatible"/>
       <import plugin="org.eclipse.ui" version="3.5.0" match="compatible"/>
-      <import plugin="de.prob.eventb.disprover.core" version="1.3.2" match="compatible"/>
-      <import plugin="org.eventb.pp.ui" version="0.2.1" match="greaterOrEqual"/>
-      <import plugin="org.eventb.core.seqprover" version="2.5.0" match="greaterOrEqual"/>
       <import plugin="org.eventb.ui" version="3.0.0" match="equivalent"/>
+      <import plugin="de.prob.eventb.disprover.core" version="1.3.2" match="compatible"/>
+      <import plugin="org.eventb.core.seqprover" version="3.0.0" match="equivalent"/>
+      <import plugin="org.eventb.core" version="3.0.0" match="equivalent"/>
+      <import plugin="org.eventb.core.ast" version="3.0.0" match="equivalent"/>
+      <import plugin="org.rodinp.core" version="1.7.0" match="equivalent"/>
+      <import plugin="org.eclipse.osgi"/>
    </requires>
 
    <plugin