--- /dev/null
+\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