freescale/bool_lemmas.ma freescale/bool.ma freescale/theory.ma
freescale/table_RS08.ma freescale/opcode.ma
freescale/word32_lemmas.ma freescale/word16_lemmas.ma freescale/word32.ma
freescale/opcode_base.ma freescale/aux_bases.ma freescale/theory.ma freescale/word16.ma
freescale/nat_lemmas.ma freescale/bool_lemmas.ma freescale/nat.ma
freescale/bool_lemmas.ma freescale/bool.ma freescale/theory.ma
freescale/table_RS08.ma freescale/opcode.ma
freescale/word32_lemmas.ma freescale/word16_lemmas.ma freescale/word32.ma
freescale/opcode_base.ma freescale/aux_bases.ma freescale/theory.ma freescale/word16.ma
freescale/nat_lemmas.ma freescale/bool_lemmas.ma freescale/nat.ma