set "baseuri" "cic:/matita/CoRN-Decl/ftc/FTC".
-include "CoRN_notation.ma".
+include "CoRN.ma".
(* $Id: FTC.v,v 1.5 2004/04/23 10:00:58 lcf Exp $ *)
Implicit Arguments Fprim [I F].
*)
+(* NOTATION
+Notation "[-S-] F" := (Fprim F) (at level 20).
+*)
+
(* UNEXPORTED
Section FTC.
*)