(* *)
(**************************************************************************)
-set "baseuri" "cic:/matita/test/letrecand".
+
include "nat/nat.ma".
lemma test_dispari2: dispari2 (S O).
simplify.
constructor 1.
-qed.
\ No newline at end of file
+qed.