]> matita.cs.unibo.it Git - helm.git/commit
reworked freescale stuff to put \m as a left parameter
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Mar 2008 15:37:52 +0000 (15:37 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 6 Mar 2008 15:37:52 +0000 (15:37 +0000)
commit7abdf2f1764ba67a48f0829f7a9813ce7426b0c6
tree9a0678350a5f929ffb70b9c458d733b125311ee1
parentfd3fd1d9e91e1975853a3942aad626f1522c8374
reworked freescale stuff to put \m as a left parameter
12 files changed:
helm/software/matita/library/freescale/load_write.ma
helm/software/matita/library/freescale/medium_tests_lemmas.ma
helm/software/matita/library/freescale/multivm.ma
helm/software/matita/library/freescale/opcode.ma
helm/software/matita/library/freescale/table_HC05.ma
helm/software/matita/library/freescale/table_HC05_tests.ma [new file with mode: 0644]
helm/software/matita/library/freescale/table_HC08.ma
helm/software/matita/library/freescale/table_HC08_tests.ma [new file with mode: 0644]
helm/software/matita/library/freescale/table_HCS08.ma
helm/software/matita/library/freescale/table_HCS08_tests.ma [new file with mode: 0644]
helm/software/matita/library/freescale/table_RS08.ma
helm/software/matita/library/freescale/table_RS08_tests.ma [new file with mode: 0644]