Created initial DAO's/DTO's

pandamonium-theorem-prover/persistence/src/main/java/PersistenceConfig.java

@@ -1,3 +1,6 @@
+import org.springframework.context.annotation.Configuration;
 
+@Configuration
 public class PersistenceConfig {
+
 }

pandamonium-theorem-prover/persistence/src/main/java/dao/BaseDao.java

@@ -0,0 +1,4 @@
+package dao;
+
+public class BaseDao {
+}

pandamonium-theorem-prover/persistence/src/main/java/dao/DefinitionDao.java

@@ -0,0 +1,4 @@
+package dao;
+
+public class DefinitionDao extends BaseDao {
+}

pandamonium-theorem-prover/persistence/src/main/java/dao/ProofDao.java

@@ -0,0 +1,4 @@
+package dao;
+
+public class ProofDao extends BaseDao {
+}

pandamonium-theorem-prover/persistence/src/main/java/dao/TheoremDao.java

@@ -0,0 +1,4 @@
+package dao;
+
+public class TheoremDao extends BaseDao {
+}

pandamonium-theorem-prover/persistence/src/main/java/dto/BaseDto.java

@@ -0,0 +1,4 @@
+package dto;
+
+public class BaseDto {
+}

pandamonium-theorem-prover/persistence/src/main/java/dto/DefinitionDto.java

@@ -0,0 +1,4 @@
+package dto;
+
+public class DefinitionDto extends BaseDto {
+}

pandamonium-theorem-prover/persistence/src/main/java/dto/ProofDto.java

@@ -0,0 +1,4 @@
+package dto;
+
+public class ProofDto extends BaseDto {
+}

pandamonium-theorem-prover/persistence/src/main/java/dto/TheoremDto.java

@@ -0,0 +1,4 @@
+package dto;
+
+public class TheoremDto extends BaseDto {
+}