set "baseuri" "cic:/matita/CoRN-Decl/ftc/Integral".
-include "CoRN_notation.ma".
+include "CoRN.ma".
(* $Id: Integral.v,v 1.10 2004/04/23 10:00:59 lcf Exp $ *)
(* end hide *)
+(* NOTATION
+Notation Integral := (integral _ _ Hab).
+*)
+
(* UNEXPORTED
Section Well_Definedness.
*)