(* *)
(**************************************************************************)
-set "baseuri" "cic:/matita/datatypes/bool/".
-
include "logic/equality.ma".
include "higher_order_defs/functions.ma".
rewrite > H.
rewrite > H1.
reflexivity.
-qed.
\ No newline at end of file
+qed.