This commit shows a bug.

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

diff --git a/helm/software/matita/library/didactic/exercises/substitution.ma b/helm/software/matita/library/didactic/exercises/substitution.ma
index c4335ca3e313a15b55615084f12daa3f54a6a20c..096b5b84c111b74a9a99e20c1c461832b8de7766 100644 (file)
--- a/helm/software/matita/library/didactic/exercises/substitution.ma
+++ b/helm/software/matita/library/didactic/exercises/substitution.ma
@@ -1,17 +1,3 @@
-(* Esercitazione di logica 22/10/2008. *)
-
-(* Nota per gli studenti
-   =====================
-
-   * La lezione del pomeriggio con il Prof. Sacerdoti si terrà in aula 
-     Pinkerle e non Cremona.
-
-   * Un piccolo manuale sul software Matita è disponibile al seguente URL:
-
-       http://mowgli.cs.unibo.it/~tassi/exercise-induction.ma.html 
-
-*)
-   
 (* Esercizio 0 
    ===========