X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Fdepends;h=7c36e0ac01a0fc18c0d3309d4ee903dd22b7a76e;hb=c3fc204cc02f1031b5d17fb0f2be1fc01e5c452f;hp=bec7a1b91506b0f55e26274ea05ef1c992fed3c2;hpb=3e5c359c75874748cfed8a9046031b62396e0e6d;p=helm.git diff --git a/helm/software/matita/contribs/ng_assembly/depends b/helm/software/matita/contribs/ng_assembly/depends index bec7a1b91..7c36e0ac0 100644 --- 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