]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/contribs/assembly/freescale/Doc/ordine_compilazione.txt
9746e1c5668b7a47c8132c755b32077ffedc458e
[helm.git] / matita / matita / contribs / assembly / freescale / Doc / ordine_compilazione.txt
1 \r
2 tutte le definizioni fanno capo a\r
3  cic:/matita/freescale/...\r
4 \r
5 extra.ma\r
6 exadecim.ma\r
7 byte8.ma\r
8 word16.ma\r
9 aux_bases.ma\r
10 opcode.ma\r
11 table_HC05.ma\r
12 table_HC05_tests.ma\r
13 table_HC08.ma\r
14 table_HC08_tests.ma\r
15 table_HCS08.ma\r
16 table_HCS08_tests.ma\r
17 table_RS08.ma\r
18 table_RS08_tests.ma\r
19 translation.ma\r
20 memory_struct.ma\r
21 memory_func.ma\r
22 memory_trees.ma\r
23 memory_bits.ma\r
24 memory_abs.ma\r
25 status.ma\r
26 model.ma\r
27 load_write.ma\r
28 multivm.ma\r
29 micro_tests.ma\r
30 medium_tests_tools.ma\r
31 medium_tests_lemmas.ma\r
32 medium_tests.ma\r