(* This file was automatically generated: do not edit *********************)
-include "LambdaDelta-1/theory.ma".
+include "Basic-1/theory.ma".
axiom pc3_gen_appls_sort_abst:
\forall (c: C).(\forall (vs: TList).(\forall (w: T).(\forall (u: T).(\forall