]> matita.cs.unibo.it Git - helm.git/commit
Elimination principles are now processed in O(1) again
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Jul 2009 16:46:04 +0000 (16:46 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Jul 2009 16:46:04 +0000 (16:46 +0000)
commit7b60729bcdcdd820ae78e32a68b59e56e11f1c02
tree65133281c19719d63612ac363c1a07d66e148aa0
parentb873fcd647e7b30e486eac5c5470762c9bc79e93
Elimination principles are now processed in O(1) again
helm/software/matita/contribs/ng_assembly/compiler/ast_type.ma
helm/software/matita/contribs/ng_assembly/freescale/aux_bases.ma
helm/software/matita/contribs/ng_assembly/freescale/memory_abs.ma
helm/software/matita/contribs/ng_assembly/freescale/memory_struct.ma
helm/software/matita/contribs/ng_assembly/freescale/opcode_base.ma
helm/software/matita/contribs/ng_assembly/freescale/status.ma
helm/software/matita/contribs/ng_assembly/freescale/translation.ma
helm/software/matita/contribs/ng_assembly/utility/ascii.ma