(* *)
(**************************************************************************)
-set "baseuri" "cic:/matita/test/decl".
+set "baseuri" "cic:/matita/tests/decl".
include "nat/times.ma".
include "nat/orders.ma".
destruct absurd.
by final
done.
-qed.
\ No newline at end of file
+qed.