freescale porting, work in progress

[helm.git] / helm / software / matita / contribs / ng_assembly / utility / string_lemmas.ma

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 52b3b9f7a816925d1a7ead4ba155497fb292a011..3944d87ad9a5e194e2e4962d718378a771c60d74 100755 (executable)
--- 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 *)