(* *)
(**************************************************************************)
-set "baseuri" "cic:/matita/Fsub/util".
include "logic/equality.ma".
include "nat/compare.ma".
include "list/list.ma".
[ true \Rightarrow n
| false \Rightarrow m ].
intros;elim m;simplify;reflexivity;
-qed.
\ No newline at end of file
+qed.