]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/matita/contribs/ng_assembly/depends
(no commit message)
[helm.git] / helm / software / matita / contribs / ng_assembly / depends
index 3a30fbcd114f6f43d9a56408552b2b17b2244eb6..bec7a1b91506b0f55e26274ea05ef1c992fed3c2 100644 (file)
@@ -7,6 +7,7 @@ freescale/byte8_lemmas.ma freescale/byte8.ma freescale/exadecim_lemmas.ma
 freescale/pts.ma 
 freescale/option_lemmas.ma freescale/bool_lemmas.ma freescale/option.ma
 freescale/prod_lemmas.ma freescale/bool_lemmas.ma freescale/prod.ma
+freescale/aux_bases.ma freescale/bool.ma freescale/nat.ma
 freescale/nat.ma freescale/bool.ma freescale/pts.ma
 freescale/word32.ma freescale/word16.ma
 freescale/word16.ma freescale/byte8.ma