diff --git a/sistemi-formali.html b/index.html
similarity index 100%
rename from sistemi-formali.html
rename to index.html
diff --git a/sistemi-formali.pdf b/sistemi-formali.pdf
index 5c38f3b..7b709c9 100644
Binary files a/sistemi-formali.pdf and b/sistemi-formali.pdf differ