(* *)
(**************************************************************************)
-include "lambda/arity.ma".
-
+include "pts_dummy/arity.ma".
+(*
(* ARITY ASSIGNMENT ***********************************************************)
(* the arity type *************************************************************)
axiom pippo: ∀A:Type[0]. ∀a,b,c. (a::b) @ c = a :: b @ c.
@A qed.
*)
+*)