(* This file was automatically generated: do not edit *********************)
-include "arity/defs.ma".
+include "LambdaDelta-1/arity/defs.ma".
-include "leq/asucc.ma".
+include "LambdaDelta-1/leq/asucc.ma".
-include "leq/fwd.ma".
+include "LambdaDelta-1/leq/fwd.ma".
-include "getl/drop.ma".
+include "LambdaDelta-1/getl/drop.ma".
theorem arity_gen_sort:
\forall (g: G).(\forall (c: C).(\forall (n: nat).(\forall (a: A).((arity g c