X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fdidactic%2Finduction.ma;h=e2da2243ac90ede12b9d3be50969659b8fd71481;hb=625846fd7d1b0063b3b3a81ff9bbf36ddccf84f1;hp=2296666c70682aa7374983c374fc5590663b7a04;hpb=7047b93fb9479402d0592a420ed6f624dc0beea6;p=helm.git

diff --git a/helm/software/matita/contribs/didactic/induction.ma b/helm/software/matita/contribs/didactic/induction.ma
index 2296666c7..e2da2243a 100644
--- a/helm/software/matita/contribs/didactic/induction.ma
+++ b/helm/software/matita/contribs/didactic/induction.ma
@@ -1,4 +1,16 @@
 (* 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 
    ===========
@@ -21,7 +33,10 @@
    
    * salvare il file (menu `File ▹ Save as ...`) nella directory (cartella)
      /public/ con nome linguaggi_Account1.ma, ad esempio Mario Rossi, il cui
-     account è mrossi deve salvare il file in /public/linguaggi_mrossi.ma
+     account è mrossi, deve salvare il file in /public/linguaggi_mrossi.ma
+
+   * mandatevi via email o stampate il file. Per stampare potete usare
+     usare l'editor gedit che offre la funzionalità di stampa
 *)
 
 (*DOCBEGIN