X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Futility%2Fstring_lemmas.ma;fp=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Futility%2Fstring_lemmas.ma;h=3944d87ad9a5e194e2e4962d718378a771c60d74;hb=2d88fad67eb842ed5fc70cd435f9920c7a2583f8;hp=52b3b9f7a816925d1a7ead4ba155497fb292a011;hpb=c515405206bfeb9f99d3e175b7f1e390ba299f28;p=helm.git

diff --git a/helm/software/matita/contribs/ng_assembly/utility/string_lemmas.ma b/helm/software/matita/contribs/ng_assembly/utility/string_lemmas.ma
index 52b3b9f7a..3944d87ad 100755
--- a/helm/software/matita/contribs/ng_assembly/utility/string_lemmas.ma
+++ b/helm/software/matita/contribs/ng_assembly/utility/string_lemmas.ma
@@ -22,6 +22,7 @@
 
 include "utility/string.ma".
 include "utility/ascii_lemmas2.ma".
+include "freescale/nat_lemmas.ma".
 
 (* ************************ *)
 (* MANIPOLAZIONE DI STRINGA *)