]> matita.cs.unibo.it Git - helm.git/commit
fixed includes and added notation for bytes
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 17 Jul 2007 10:00:30 +0000 (10:00 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 17 Jul 2007 10:00:30 +0000 (10:00 +0000)
commit9a3b49d3584873c77a39107cb5ee4f1e6010e43c
treeb9f6e04679a6c36f0d58b5a20441be58fce32647
parentd27cfdc825df15aade7edd457b08ee614d44aa32
fixed includes and added notation for bytes
helm/software/matita/library/assembly/byte.ma
helm/software/matita/library/assembly/exadecimal.ma
helm/software/matita/library/assembly/test.ma
helm/software/matita/library/assembly/vm.ma