(* This file was automatically generated: do not edit *********************)
-set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-2/plist/props".
+include "Base-2/plist/defs.ma".
-include "plist/defs.ma".
-
-inline procedural "cic:/matita/LAMBDA-TYPES/Base-1/plist/props/papp_ss.con".
+inline procedural "Base-1/plist/props.ma".