This commit shows a bug.

[helm.git] / helm / software / matita / library / didactic / exercises / shannon.ma

diff --git a/helm/software/matita/library/didactic/exercises/shannon.ma b/helm/software/matita/library/didactic/exercises/shannon.ma
index f708c19baf8fb963ae27811ed99dccab5c0112ff..f0a191729a95d8be7972a3a069a4b42f92b99760 100644 (file)
--- 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
    ===========