diff --git a/index.html b/index.html
index 59bf2d7..bc1e123 100644
--- a/index.html
+++ b/index.html
@@ -7,9 +7,6 @@
   <meta name="author" content="Michele Guerini Rocco">
   <title>I sistemi formali</title>
   <style type="text/css">code{white-space: pre;}</style>
-  <!--[if lt IE 9]>
-    <script src="http://html5shim.googlecode.com/svn/trunk/html5.js"></script>
-  <![endif]-->
   <style type="text/css">
 div.sourceCode { overflow-x: auto; }
 table.sourceCode, tr.sourceCode, td.lineNumbers, td.sourceCode {
@@ -49,6 +46,9 @@ code > span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Inf
   </style>
   <link rel="stylesheet" href="options/style.css">
   <script src="" type="text/javascript"></script>
+  <!--[if lt IE 9]>
+    <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
+  <![endif]-->
   <script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS_HTML"></script>
   <script type="text/x-mathjax-config">
     MathJax.Hub.Config({
@@ -366,7 +366,11 @@ Un sistema formale è <em>completo</em> se qualunque proposizione vera <strong>e
 \]</span></p>
 <h4 id="interpretazione-del-sistema"><span class="header-section-number">1.3.8.5</span> Interpretazione del sistema</h4>
 <p>Come già detto questo sistema formalizza la logica proposizionale. Di seguito vi è un elenco di simboli e alcuni teoremi con le loro interpretazioni anche se a questo punto saranno già chiare:</p>
-<table>
+<table style="width:93%;">
+<colgroup>
+<col style="width: 45%" />
+<col style="width: 47%" />
+</colgroup>
 <thead>
 <tr class="header">
 <th style="text-align: center;">sistema</th>
diff --git a/sistemi-formali.pdf b/sistemi-formali.pdf
index 7b709c9..b1870c2 100644
Binary files a/sistemi-formali.pdf and b/sistemi-formali.pdf differ