X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Ffreescale%2Fbyte8_lemmas.ma;h=33c08f99df2e5c3f5a31ff2a516bbe45325c9f92;hb=ee9a771a3cf2124ef65906ae75eb0ba7e2e4303b;hp=cf35e6f3540042279d4692156f2a9ec56a60b71e;hpb=64bdbee95e40a5be3bb6c5c2866869103730a4d0;p=helm.git

diff --git a/helm/software/matita/contribs/ng_assembly/freescale/byte8_lemmas.ma b/helm/software/matita/contribs/ng_assembly/freescale/byte8_lemmas.ma
index cf35e6f35..33c08f99d 100755
--- a/helm/software/matita/contribs/ng_assembly/freescale/byte8_lemmas.ma
+++ b/helm/software/matita/contribs/ng_assembly/freescale/byte8_lemmas.ma
@@ -13,15 +13,11 @@
 (**************************************************************************)
 
 (* ********************************************************************** *)
-(*                           Progetto FreeScale                           *)
+(*                          Progetto FreeScale                            *)
 (*                                                                        *)
-(* Sviluppato da:                                                         *)
-(*   Cosimo Oliboni, oliboni@cs.unibo.it                                  *)
+(*   Sviluppato da: Cosimo Oliboni, oliboni@cs.unibo.it                   *)
+(*     Cosimo Oliboni, oliboni@cs.unibo.it                                *)
 (*                                                                        *)
-(* Questo materiale fa parte della tesi:                                  *)
-(*   "Formalizzazione Interattiva dei Microcontroller a 8bit FreeScale"   *)
-(*                                                                        *)
-(*                    data ultima modifica 15/11/2007                     *)
 (* ********************************************************************** *)
 
 include "freescale/exadecim_lemmas.ma".