diff --git a/src/App.js b/src/App.js
index 0cd4c19..8203c21 100644
--- a/src/App.js
+++ b/src/App.js
@@ -81,6 +81,13 @@ class App extends React.Component {
         });
         this.openCanvas();
       }
+      recents[keys[i]].delete = () => {
+        let rArray = localStorage.getItem('recentDocs');
+        rArray = rArray ? JSON.parse(rArray) : {}
+        delete rArray[keys[i]];
+        localStorage.setItem('recentDocs', JSON.stringify(rArray));
+        this.setState({ recentDocs: rArray });
+      }
     }
     return recents;
   }
diff --git a/src/intro/CreateNew.js b/src/intro/CreateNew.js
index 53a5e75..a9fa6b7 100644
--- a/src/intro/CreateNew.js
+++ b/src/intro/CreateNew.js
@@ -114,23 +114,27 @@ class CreateNew extends React.Component {
         </table>
         <h2>Premises</h2>
         <table className="formulaTable">
-          <tr>
-              <td>
-                Formula
+          <tbody>
+            <tr>
+                <td>
+                  Formula
+                </td>
+              <td>TeX notation</td><td>EG notation</td><td className="close"/>
+            </tr>
+            {premises.map((formula,i) => this.getFormulaCell(formula, i))}
+            <tr>
+              <td className="interactive" onClick={() => this.setState({ premises: premises.concat(['']) }) }>
+                <span className="plus" />Add New Premise
               </td>
-            <td>TeX notation</td><td>EG notation</td><td className="close"/>
-          </tr>
-          {premises.map((formula,i) => this.getFormulaCell(formula, i))}
-          <tr>
-            <td className="interactive" onClick={() => this.setState({ premises: premises.concat(['']) }) }>
-              <span className="plus" />Add New Premise
-            </td>
-            <td/><td/><td className="close"/>
-          </tr>
+              <td/><td/><td className="close"/>
+            </tr>
+          </tbody>
         </table>
         <h2>Conclusion</h2>
         <table className="formulaTable">
-          {this.getFormulaCell(conclusion)}
+          <tbody>
+            {this.getFormulaCell(conclusion)}
+          </tbody>
         </table>
       </div>
     );
diff --git a/src/intro/IntroWindow.js b/src/intro/IntroWindow.js
index 5b11066..ab6a416 100644
--- a/src/intro/IntroWindow.js
+++ b/src/intro/IntroWindow.js
@@ -15,8 +15,14 @@ const IntroContent = ({ recentDocs }) => (
     <div className="column">
       <h1>Recent Proofs</h1>
       {Object.keys(recentDocs).map(name => (
-        <div className="proofField" onClick={() => recentDocs[name].open()}>
-          {name}
+        <div className="proofField" style={{ display: 'flex', justifyContent: 'space-between' }} >
+          <span onClick={() => recentDocs[name].open()}>
+            {name}
+          </span>
+          <span 
+            style={{ color: 'gray' }} 
+            onClick={() => recentDocs[name].delete()}
+          >Delete</span>
         </div>
       ))}
     </div>