1 files changed, 0 insertions, 34 deletions
diff --git a/proposition.h b/proposition.h
deleted file mode 100644
index 2d09688..0000000
--- a/proposition.h
+++ /dev/null
@@ -1,34 +0,0 @@
-#ifndef PROPOSITION
-#define PROPOSITION
-#include "lexer.h"
-typedef struct Proposition {
-	char isSimple;
-	char isNegative;
-	struct Proposition* propA;
-	struct Proposition* propB;
-	tokenType_t relation;
-	char* name;
-} prop_t;
-prop_t init_prop(char isNegative, prop_t* propA, prop_t* propB, tokenType_t relation);
-prop_t init_simple_prop(char isNegative, char* name);
-typedef enum JustificationRule {
-	ERR_R,
-	PREMISE_R,
-	ASSUMPTION_R,
-	CONJUNCT_INTRO,
-	DISJUNCT_INTRO,
-	IMPLICATION_INTRO,
-	BI_IMPLICATION_INTRO,
-	CONJUNCT_ELIM,
-	DISJUNCT_ELIM,
-	IMPLICATION_ELIM,
-	BI_IMPLICATION_ELIM
-} justRule_t;
-char* jrtos(justRule_t rule);
-typedef struct Justification {
-	justRule_t rule;
-	int* references;
-	int referencesCount;
-} just_t;
-just_t init_just(justRule_t rule, int* references, int referencesCount);
-#endif