]> matita.cs.unibo.it Git - helm.git/commit
(no commit message)
authorCosimo Oliboni <??>
Sat, 23 Jan 2010 16:15:28 +0000 (16:15 +0000)
committerCosimo Oliboni <??>
Sat, 23 Jan 2010 16:15:28 +0000 (16:15 +0000)
commit16d0ba4a14fd6bede3e8b3520af7deaefb4f8068
tree9fee6e2ca5ff266eddcab0d5828c50203cffd654
parentd97886196d2c730f72312b226bebc388be08f39e
79 files changed:
helm/software/matita/contribs/ng_assembly/common/ascii.ma [deleted file]
helm/software/matita/contribs/ng_assembly/common/ascii_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/common/list.ma [deleted file]
helm/software/matita/contribs/ng_assembly/common/list_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/common/list_utility.ma [deleted file]
helm/software/matita/contribs/ng_assembly/common/list_utility_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/common/nat.ma [deleted file]
helm/software/matita/contribs/ng_assembly/common/nat_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/common/nat_to_num.ma [deleted file]
helm/software/matita/contribs/ng_assembly/common/option.ma [deleted file]
helm/software/matita/contribs/ng_assembly/common/option_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/common/prod.ma [deleted file]
helm/software/matita/contribs/ng_assembly/common/prod_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/common/sigma.ma [deleted file]
helm/software/matita/contribs/ng_assembly/common/string.ma [deleted file]
helm/software/matita/contribs/ng_assembly/common/string_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/common/theory.ma [deleted file]
helm/software/matita/contribs/ng_assembly/compiler/ast_type.ma [deleted file]
helm/software/matita/contribs/ng_assembly/compiler/ast_type_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/compiler/environment.ma [deleted file]
helm/software/matita/contribs/ng_assembly/compiler/preast_tree.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale/load_write.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale/model.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale/multivm.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale/multivm_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale/status.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale/status_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale/translation.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale/translation_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale_tests/medium_tests.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale_tests/medium_tests_tools.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests1.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests10.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests2.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests3.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests4.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests4bis.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests5.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests6.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests7.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests8.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests9.ma [deleted file]
helm/software/matita/contribs/ng_assembly/freescale_tests/micro_tests_tools.ma [deleted file]
helm/software/matita/contribs/ng_assembly/memory/memory_abs.ma [deleted file]
helm/software/matita/contribs/ng_assembly/memory/memory_bits.ma [deleted file]
helm/software/matita/contribs/ng_assembly/memory/memory_func.ma [deleted file]
helm/software/matita/contribs/ng_assembly/memory/memory_struct.ma [deleted file]
helm/software/matita/contribs/ng_assembly/memory/memory_trees.ma [deleted file]
helm/software/matita/contribs/ng_assembly/num/bitrigesim.ma [deleted file]
helm/software/matita/contribs/ng_assembly/num/bitrigesim_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/num/bool.ma [deleted file]
helm/software/matita/contribs/ng_assembly/num/bool_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/num/byte8.ma [deleted file]
helm/software/matita/contribs/ng_assembly/num/byte8_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/num/exadecim.ma [deleted file]
helm/software/matita/contribs/ng_assembly/num/exadecim_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/num/oct.ma [deleted file]
helm/software/matita/contribs/ng_assembly/num/oct_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/num/quatern.ma [deleted file]
helm/software/matita/contribs/ng_assembly/num/quatern_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/num/word16.ma [deleted file]
helm/software/matita/contribs/ng_assembly/num/word16_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/num/word32.ma [deleted file]
helm/software/matita/contribs/ng_assembly/num/word32_lemmas.ma [deleted file]
helm/software/matita/contribs/ng_assembly/opcodes/HC05_opcode_base.ma [deleted file]
helm/software/matita/contribs/ng_assembly/opcodes/HC05_table.ma [deleted file]
helm/software/matita/contribs/ng_assembly/opcodes/HC05_table_tests.ma [deleted file]
helm/software/matita/contribs/ng_assembly/opcodes/HC08_opcode_base.ma [deleted file]
helm/software/matita/contribs/ng_assembly/opcodes/HC08_table.ma [deleted file]
helm/software/matita/contribs/ng_assembly/opcodes/HC08_table_tests.ma [deleted file]
helm/software/matita/contribs/ng_assembly/opcodes/HCS08_opcode_base.ma [deleted file]
helm/software/matita/contribs/ng_assembly/opcodes/HCS08_table.ma [deleted file]
helm/software/matita/contribs/ng_assembly/opcodes/HCS08_table_tests.ma [deleted file]
helm/software/matita/contribs/ng_assembly/opcodes/RS08_opcode_base.ma [deleted file]
helm/software/matita/contribs/ng_assembly/opcodes/RS08_table.ma [deleted file]
helm/software/matita/contribs/ng_assembly/opcodes/RS08_table_tests.ma [deleted file]
helm/software/matita/contribs/ng_assembly/opcodes/byte_or_word.ma [deleted file]
helm/software/matita/contribs/ng_assembly/opcodes/opcode.ma [deleted file]
helm/software/matita/contribs/ng_assembly/universe/universe.ma [deleted file]