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 289cfaf6579def97e6549eee454ac2a0695b6cbf..0387750d8fa36325a70caa245f6a2eac0a50fae1 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,7 +22,6 @@
 
 include "utility/string.ma".
 include "utility/ascii_lemmas2.ma".
-include "freescale/nat_lemmas.ma".
 include "utility/utility_lemmas.ma".
 
 (* ************************ *)