freescale translation (work in progress)

[helm.git] / helm / software / matita / contribs / ng_assembly / depends

diff --git a/helm/software/matita/contribs/ng_assembly/depends b/helm/software/matita/contribs/ng_assembly/depends
index bec7a1b91506b0f55e26274ea05ef1c992fed3c2..7c36e0ac01a0fc18c0d3309d4ee903dd22b7a76e 100644 (file)
--- a/helm/software/matita/contribs/ng_assembly/depends
+++ b/helm/software/matita/contribs/ng_assembly/depends
@@ -12,8 +12,11 @@ freescale/nat.ma freescale/bool.ma freescale/pts.ma
 freescale/word32.ma freescale/word16.ma
 freescale/word16.ma freescale/byte8.ma
 freescale/byte8.ma freescale/exadecim.ma
+freescale/opcode_base_lemmas1.ma freescale/bool_lemmas.ma freescale/opcode_base.ma
 freescale/option.ma freescale/bool.ma
+freescale/aux_bases_lemmas.ma freescale/aux_bases.ma freescale/bool_lemmas.ma
 freescale/prod.ma freescale/bool.ma
+freescale/opcode_base.ma freescale/aux_bases.ma freescale/theory.ma freescale/word16.ma
 freescale/word16_lemmas.ma freescale/byte8_lemmas.ma freescale/word16.ma
 freescale/exadecim.ma freescale/bool.ma freescale/nat.ma freescale/prod.ma
 freescale/nat_lemmas.ma freescale/bool_lemmas.ma freescale/nat.ma