1 files changed, 0 insertions, 32 deletions
diff --git a/parse.h b/parse.h
deleted file mode 100644
index c6e76ec..0000000
--- a/parse.h
+++ /dev/null
@@ -1,32 +0,0 @@
-#ifndef PARSE
-#define PARSE
-#include "proposition.h"
-typedef struct Scope {
-	int id;
-	int depth;
-	struct Scope* parent;
-} scope_t;
-scope_t init_scope(int id, int depth, scope_t* parent);
-typedef struct Line {
-	scope_t scope;
-	prop_t proposition;
-	just_t justification;
-} line_t;
-line_t init_line(scope_t scope, prop_t proposition, just_t justification);
-typedef struct LineSet {
-	line_t* lines;
-	int count;
-} lineSet_t;
-lineSet_t init_lineset(line_t* lines, int count);
-int count_lines(char* content);
-lineSet_t parse_lines(char* content, int lineCount);
-line_t parse_line(char* content);
-prop_t parse_proposition(tokenSet_t tokenSet, int* seek, char isNegative);
-just_t parse_justification(tokenSet_t tokenSet);
-/* proposition equal */
-char peq(prop_t prop1, prop_t prop2);
-/* scope is lesser than in depth and ID */
-char slt(scope_t scope1, scope_t scope2);
-/* scope is equal to or lesser than in depth and ID */
-char seqlt(scope_t scope1, scope_t scope2);
-#endif