(* This file was automatically generated: do not edit *********************)
-include "pc3/props.ma".
+include "LambdaDelta-1/pc3/props.ma".
-include "pr3/fwd.ma".
+include "LambdaDelta-1/pr3/fwd.ma".
theorem pc3_gen_sort:
\forall (c: C).(\forall (m: nat).(\forall (n: nat).((pc3 c (TSort m) (TSort