X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Ffreescale%2Fmemory_trees.ma;h=b9d67c55482ec9b36ac64b61f953a579ea5cae27;hb=dc7e826399162e2fde3ddf1f02d5530d6cd11205;hp=39a6468ae0077c74c39d107f8004a0473f3992d5;hpb=c70ecb50a457d251ef1cd61960a641d491febed7;p=helm.git diff --git a/helm/software/matita/contribs/ng_assembly/freescale/memory_trees.ma b/helm/software/matita/contribs/ng_assembly/freescale/memory_trees.ma index 39a6468ae..b9d67c554 100755 --- a/helm/software/matita/contribs/ng_assembly/freescale/memory_trees.ma +++ b/helm/software/matita/contribs/ng_assembly/freescale/memory_trees.ma @@ -15,8 +15,8 @@ (* ********************************************************************** *) (* Progetto FreeScale *) (* *) -(* Sviluppato da: Cosimo Oliboni, oliboni@cs.unibo.it *) -(* Cosimo Oliboni, oliboni@cs.unibo.it *) +(* Sviluppato da: Ing. Cosimo Oliboni, oliboni@cs.unibo.it *) +(* Ultima modifica: 05/08/2009 *) (* *) (* ********************************************************************** *)