freescale porting

[helm.git] / helm / software / matita / contribs / ng_assembly / num / byte8.ma

diff --git a/helm/software/matita/contribs/ng_assembly/num/byte8.ma b/helm/software/matita/contribs/ng_assembly/num/byte8.ma
index 9cf490eab98a439913e5659bc647ca30589a5787..f625e71dbf8db972f8c23a1d418a29ac2571c6c0 100755 (executable)
--- a/helm/software/matita/contribs/ng_assembly/num/byte8.ma
+++ b/helm/software/matita/contribs/ng_assembly/num/byte8.ma
@@ -66,10 +66,12 @@ ndefinition xor_b8 ≝ fop2_cn ? xor_ex.
 (* operatore Most Significant Bit *)
 ndefinition getMSB_b8 ≝ getOPH_cn ? getMSB_ex.
 ndefinition setMSB_b8 ≝ setOPH_cn ? setMSB_ex.
+ndefinition clrMSB_b8 ≝ setOPH_cn ? clrMSB_ex.
 
 (* operatore Least Significant Bit *)
 ndefinition getLSB_b8 ≝ getOPL_cn ? getLSB_ex.
 ndefinition setLSB_b8 ≝ setOPL_cn ? setLSB_ex.
+ndefinition clrLSB_b8 ≝ setOPL_cn ? clrLSB_ex.
 
 (* operatore estensione unsigned *)
 ndefinition extu_b8 ≝ λe2.〈x0,e2〉.