string/ascii_min.ma freescale/byte8.ma
freescale/memory_bits.ma freescale/memory_trees.ma
freescale/opcode.ma freescale/aux_bases.ma
freescale/extra.ma datatypes/constructors.ma list/list.ma logic/connectives.ma nat/div_and_mod.ma nat/primes.ma
freescale/memory_abs.ma freescale/memory_bits.ma freescale/memory_func.ma freescale/memory_trees.ma
string/ascii_min.ma freescale/byte8.ma
freescale/memory_bits.ma freescale/memory_trees.ma
freescale/opcode.ma freescale/aux_bases.ma
freescale/extra.ma datatypes/constructors.ma list/list.ma logic/connectives.ma nat/div_and_mod.ma nat/primes.ma
freescale/memory_abs.ma freescale/memory_bits.ma freescale/memory_func.ma freescale/memory_trees.ma