Stuff moved from old Matita.

[helm.git] / matita / matita / contribs / assembly / freescale / Doc / ordine_compilazione.txt

diff --git a/matita/matita/contribs/assembly/freescale/Doc/ordine_compilazione.txt b/matita/matita/contribs/assembly/freescale/Doc/ordine_compilazione.txt
new file mode 100755 (executable)
index 0000000..9746e1c
--- /dev/null
+++ b/matita/matita/contribs/assembly/freescale/Doc/ordine_compilazione.txt
@@ -0,0 +1,32 @@
+\r
+tutte le definizioni fanno capo a\r
+ cic:/matita/freescale/...\r
+\r
+extra.ma\r
+exadecim.ma\r
+byte8.ma\r
+word16.ma\r
+aux_bases.ma\r
+opcode.ma\r
+table_HC05.ma\r
+table_HC05_tests.ma\r
+table_HC08.ma\r
+table_HC08_tests.ma\r
+table_HCS08.ma\r
+table_HCS08_tests.ma\r
+table_RS08.ma\r
+table_RS08_tests.ma\r
+translation.ma\r
+memory_struct.ma\r
+memory_func.ma\r
+memory_trees.ma\r
+memory_bits.ma\r
+memory_abs.ma\r
+status.ma\r
+model.ma\r
+load_write.ma\r
+multivm.ma\r
+micro_tests.ma\r
+medium_tests_tools.ma\r
+medium_tests_lemmas.ma\r
+medium_tests.ma\r