]> 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 98ad886d04e14de07400a4fad72a7c7ade3b2cd7..bec7a1b91506b0f55e26274ea05ef1c992fed3c2 100644 (file)
@@ -1,11 +1,19 @@
 freescale/theory.ma freescale/pts.ma
+freescale/exadecim_lemmas.ma freescale/bool_lemmas.ma freescale/exadecim.ma
+freescale/word32_lemmas.ma freescale/word16_lemmas.ma freescale/word32.ma
 freescale/bool_lemmas.ma freescale/bool.ma freescale/theory.ma
 freescale/bool.ma freescale/pts.ma
+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
+freescale/byte8.ma freescale/exadecim.ma
 freescale/option.ma freescale/bool.ma
 freescale/prod.ma freescale/bool.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