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
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