set "baseuri" "cic:/matita/assembly/exadecimal/".
-include "extra.ma".
+include "assembly/extra.ma".
inductive exadecimal : Type ≝
x0: exadecimal
intros;
rewrite > exadecimal_of_nat_mod;
rewrite > exadecimal_of_nat_mod in ⊢ (? ? ? %);
-*)
\ No newline at end of file
+*)