X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmetadata%2Fcreate_V7_mowgli%2FMETADATA%2FREADME;fp=helm%2Fmetadata%2Fcreate_V7_mowgli%2FMETADATA%2FREADME;h=0000000000000000000000000000000000000000;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hp=6c9fe0bcb49211bb6b2ba2fd7b751cfeab7efb16;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/metadata/create_V7_mowgli/METADATA/README b/helm/metadata/create_V7_mowgli/METADATA/README
deleted file mode 100644
index 6c9fe0bcb..000000000
--- a/helm/metadata/create_V7_mowgli/METADATA/README
+++ /dev/null
@@ -1,9 +0,0 @@
-Note:
- - LetIn e Variabili con corpo: da pensarci (capita solamente una 30ina
-   di volte... per ora!) Per il momento ci mettiamo una pezza.
- - Variabili: non consideriamo l'occorrenza di una variabile come una
-    vera occorrenza (perche' puo' essere istanziata). In ogni caso c'e'
-    l'attributo @params che fornisce questa informazione.
- - META e IMPLICIT non trattati
- - CAST non considerati ==> di default vado in ricorsione sia sul tipo
-   che sul corpo