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