diff --git a/.classpath b/.classpath
deleted file mode 100644
index d350fb061b574373414445d1151bd0fa8cd124bd..0000000000000000000000000000000000000000
--- a/.classpath
+++ /dev/null
@@ -1,6 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<classpath>
-	<classpathentry kind="output" path="bin"/>
-	<classpathentry kind="src" path="src"/>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER" exported="true"/>
-</classpath>
diff --git a/.gitignore b/.gitignore
index 8b0a5d6ba7401c7202a4c0bd0e6c9262c3da10df..f2b330f2c8ae1e87f3456d408f0132e0e1e9cf99 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,14 @@
 /bin/
 /src/org/eventb/internal/core/typecheck/TypeUnifier.java
+
+# Gradle
 .gradle
 build
+
+# Eclipse
+.classpath
+.project
+.settings
+
+# Misc
 local.*
diff --git a/.project b/.project
deleted file mode 100644
index 8f4500fa62026f49eaa403660ae347f962a2df8a..0000000000000000000000000000000000000000
--- a/.project
+++ /dev/null
@@ -1,16 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
-	<name>rodin-ast</name>
-	<comment/>
-	<projects/>
-	<natures>
-		<nature>org.eclipse.jdt.core.javanature</nature>
-	</natures>
-	<buildSpec>
-		<buildCommand>
-			<name>org.eclipse.jdt.core.javabuilder</name>
-			<arguments/>
-		</buildCommand>
-	</buildSpec>
-	<linkedResources/>
-</projectDescription>
diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs
deleted file mode 100644
index 94e18670711c610ce07ebe118a9cbcf8332d3bbf..0000000000000000000000000000000000000000
--- a/.settings/org.eclipse.jdt.core.prefs
+++ /dev/null
@@ -1,13 +0,0 @@
-#
-#Thu Aug 06 12:20:19 CEST 2015
-org.eclipse.jdt.core.compiler.debug.localVariable=generate
-org.eclipse.jdt.core.compiler.compliance=1.8
-org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve
-org.eclipse.jdt.core.compiler.debug.sourceFile=generate
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.8
-org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
-org.eclipse.jdt.core.compiler.debug.lineNumber=generate
-eclipse.preferences.version=1
-org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
-org.eclipse.jdt.core.compiler.source=1.8
-org.eclipse.jdt.core.compiler.problem.assertIdentifier=error