]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd3fd1d) | patch
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
tree9a0678350a5f929ffb70b9c458d733b125311ee1tree | snapshot
parentfd3fd1d9e91e1975853a3942aad626f1522c8374commit | diff
reworked freescale stuff to put \m as a left parameter
12 files changed:
helm/software/matita/library/freescale/load_write.ma diff | blob | history
helm/software/matita/library/freescale/medium_tests_lemmas.ma diff | blob | history
helm/software/matita/library/freescale/multivm.ma diff | blob | history
helm/software/matita/library/freescale/opcode.ma diff | blob | history
helm/software/matita/library/freescale/table_HC05.ma diff | blob | history
helm/software/matita/library/freescale/table_HC05_tests.ma [new file with mode: 0644] blob
helm/software/matita/library/freescale/table_HC08.ma diff | blob | history
helm/software/matita/library/freescale/table_HC08_tests.ma [new file with mode: 0644] blob
helm/software/matita/library/freescale/table_HCS08.ma diff | blob | history
helm/software/matita/library/freescale/table_HCS08_tests.ma [new file with mode: 0644] blob
helm/software/matita/library/freescale/table_RS08.ma diff | blob | history
helm/software/matita/library/freescale/table_RS08_tests.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.