X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Flibrary%2Fdidactic%2Fexercises%2Fshannon.ma;h=f0a191729a95d8be7972a3a069a4b42f92b99760;hb=389c47134aa9eb80895207614984b8b12fe24424;hp=f708c19baf8fb963ae27811ed99dccab5c0112ff;hpb=f1f445457c73202fd696c1b9fe0b24c0bafe2452;p=helm.git

diff --git a/helm/software/matita/library/didactic/exercises/shannon.ma b/helm/software/matita/library/didactic/exercises/shannon.ma
index f708c19ba..f0a191729 100644
--- a/helm/software/matita/library/didactic/exercises/shannon.ma
+++ b/helm/software/matita/library/didactic/exercises/shannon.ma
@@ -1,19 +1,3 @@
-(* Esercizio -1
-   ============
-   
-   1. Leggere ATTENTAMENTE, e magari stampare, la documentazione 
-      reperibile all'URL seguente:
-      
-        http://mowgli.cs.unibo.it/~tassi/exercise-shannon.ma.html
-        
-   2. Questa volta si fa sul serio:
-    
-      l'esercizio proposto è MOLTO difficile, occorre la vostra massima 
-      concentrazione (leggi: niente cut&paste selvaggio)
-       
-*)
-
-
 (* Esercizio 0
    ===========