mod change (-x)

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

diff --git a/helm/software/matita/contribs/ng_assembly/num/exadecim.ma b/helm/software/matita/contribs/ng_assembly/num/exadecim.ma
old mode 100755 (executable)
new mode 100644 (file)
index 9400d90..1951578
--- a/helm/software/matita/contribs/ng_assembly/num/exadecim.ma
+++ b/helm/software/matita/contribs/ng_assembly/num/exadecim.ma
@@ -1406,6 +1406,11 @@ ndefinition compl_ex ≝
  | x8 ⇒ x8 | x9 ⇒ x7 | xA ⇒ x6 | xB ⇒ x5
  | xC ⇒ x4 | xD ⇒ x3 | xE ⇒ x2 | xF ⇒ x1 ].
 
+(* operatore abs *)
+ndefinition abs_ex ≝
+λe:exadecim.match getMSB_ex e with
+ [ true ⇒ compl_ex e | false ⇒ e ].
+
 (* operatore x in [inf,sup] o in sup],[inf *)
 ndefinition inrange_ex ≝
 λx,inf,sup:exadecim.