2 files changed, 0 insertions, 16 deletions

diff --git a/src/uk/ac/ox/cs/pagoda/rules/clauses/Conjunction.java b/src/uk/ac/ox/cs/pagoda/rules/clauses/Conjunction.java
deleted file mode 100644
index 91bb3e7..0000000
--- a/src/uk/ac/ox/cs/pagoda/rules/clauses/Conjunction.java
+++ /dev/null
@@ -1,4 +0,0 @@
-package uk.ac.ox.cs.pagoda.rules.clauses;
-
-public class Conjunction {
-}
diff --git a/src/uk/ac/ox/cs/pagoda/rules/clauses/DLClause.java b/src/uk/ac/ox/cs/pagoda/rules/clauses/DLClause.java
deleted file mode 100644
index 7394be0..0000000
--- a/src/uk/ac/ox/cs/pagoda/rules/clauses/DLClause.java
+++ /dev/null
@@ -1,12 +0,0 @@
-package uk.ac.ox.cs.pagoda.rules.clauses;
-
-public class DLClause extends Clause {
-
-//    private DLClause(Atom[] headAtoms, Atom[] bodyAtoms) {
-//        super(headAtoms, bodyAtoms);
-//    }
-//
-//    public static DLClause create(Atom[] headAtoms, Atom[] bodyAtoms) {
-//        return s_interningManager.intern(new DLClause(headAtoms, bodyAtoms));
-//    }
-}