From f6de79a3d40ff249e304c293e4fbe081ee072906 Mon Sep 17 00:00:00 2001
From: atusa17 <alex.j.tusa@gmail.com>
Date: Sun, 3 Mar 2019 18:25:46 -0700
Subject: [PATCH] PAN-50 Added the creation of the theorems table to the
 local_development.sql

---
 persistence/scripts/mysql/local_development.sql | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/persistence/scripts/mysql/local_development.sql b/persistence/scripts/mysql/local_development.sql
index 1f885cc..87984f0 100644
--- a/persistence/scripts/mysql/local_development.sql
+++ b/persistence/scripts/mysql/local_development.sql
@@ -22,4 +22,14 @@ name varchar(200) not null,
 definition json not null,
 notation json,
 version int default 1
-);
\ No newline at end of file
+);
+create table theorems (
+id int not null auto_increment primary key unique,
+name varchar(512) not null,
+theorem_type enum ('THEOREM', 'PROPOSITION', 'LEMMA', 'COROLLARY') not null,
+branch varchar(512) not null,
+referenced_definitions json,
+referenced_theorems json,
+proven_status boolean default false,
+version int default 1
+)
\ No newline at end of file