From 6bb836528dd25934608f400779ef3edc8bc9bf92 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 1 Feb 2007 19:35:29 +0000 Subject: [PATCH] Level-1: regenerated with differnt baseuris --- .../matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/Base/blt/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/Base/ext/arith.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/Base/ext/tactics.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/Base/plist/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/Base/plist/props.ma | 2 +- .../matita/contribs/LAMBDA-TYPES/Level-1/Base/preamble.ma | 8 ++++---- .../LAMBDA-TYPES/Level-1/{Base.ma => Base/spare.ma} | 4 ++-- .../matita/contribs/LAMBDA-TYPES/Level-1/Base/theory.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/Base/types/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/Base/types/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/A/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/G/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/dec.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/aplus/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/aplus/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/aprem/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/aprem/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/arity/aprem.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/arity/cimp.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/arity/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/arity/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/arity/lift1.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/arity/pr3.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/arity/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/arity/subst0.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/asucc/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/asucc/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/cimp/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/cimp/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/clear/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/clear/drop.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/clear/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/clear/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/clen/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/clen/getl.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/cnt/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csuba/arity.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csuba/clear.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csuba/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csuba/drop.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csuba/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csuba/getl.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csuba/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubc/arity.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubc/clear.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubc/csuba.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubc/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop1.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubc/getl.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubc/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/clear.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/drop.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/getl.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/getl.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubt/clear.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubt/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubt/drop.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubt/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubt/getl.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubt/pc3.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubt/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/csubt/ty3.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/drop/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/drop/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/drop1/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/drop1/getl.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/drop1/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/ex1/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/flt/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/getl/clear.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/dec.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/getl/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/getl/drop.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/flt.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/getl/getl.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/getl/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/iso/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/leq/asucc.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/leq/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/lift/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/lift/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/tlt.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/lift1/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/lift1/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/lift1/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/llt/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/llt/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/dec.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/fwd.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/iso.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/nf2/lift1.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/pr3.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/nf2/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/pc1/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/dec.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fsubst0.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fwd.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/left.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/pc1.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/pc3/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/pc3/subst1.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/pc3/wcpr0.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/dec.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/fwd.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/pr0.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/pr0/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/pr0/subst1.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/pr1.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/pr1/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/clen.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/fwd.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/pr2.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/pr2/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/pr2/subst1.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/fwd.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/iso.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr1.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr3.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/pr3/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/pr3/subst1.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/pr3/wcpr0.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/sc3/arity.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/sc3/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/defs.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/sn3/lift1.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/nf2.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/sn3/props.ma | 2 +- .../Level-1/{LambdaDelta.ma => LambdaDelta/spare.ma} | 4 ++-- .../LAMBDA-TYPES/Level-1/LambdaDelta/subst0/dec.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/subst0/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/subst0/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/subst0/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/subst0/subst0.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/subst0/tlt.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/subst1/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/subst1/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/subst1/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/subst1/subst1.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/tau0/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/tau0/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/cnt.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/tau1/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/tau1/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/tlist/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/tlist/props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/tlt/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity_props.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/dec.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fsubst0.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fwd.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3_props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/ty3/props.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/ty3/subst1.ma | 2 +- .../contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/tau0.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/defs.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/fwd.ma | 2 +- .../LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/getl.ma | 2 +- 203 files changed, 208 insertions(+), 208 deletions(-) rename helm/software/matita/contribs/LAMBDA-TYPES/Level-1/{Base.ma => Base/spare.ma} (93%) rename helm/software/matita/contribs/LAMBDA-TYPES/Level-1/{LambdaDelta.ma => LambdaDelta/spare.ma} (91%) diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/defs.ma index ceb52445e..4864a2c86 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/Base/blt/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-1/blt/defs". include "preamble.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/props.ma index 34b6059d5..c7952ebd2 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/Base/blt/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-1/blt/props". include "blt/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/arith.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/arith.ma index db6954922..1ce93fd7f 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/arith.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/arith.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/Base/ext/arith". +set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-1/ext/arith". include "preamble.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/tactics.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/tactics.ma index d5509cd45..4a7946c68 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/tactics.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/tactics.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/Base/ext/tactics". +set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-1/ext/tactics". include "preamble.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/plist/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/plist/defs.ma index f53e2d1ac..1ca1142d9 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/plist/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/plist/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/Base/plist/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-1/plist/defs". include "preamble.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/plist/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/plist/props.ma index ae5665fc6..7338262f1 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/plist/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/plist/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/Base/plist/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-1/plist/props". include "plist/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/preamble.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/preamble.ma index be7a43586..9b2d974f4 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/preamble.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/preamble.ma @@ -12,7 +12,7 @@ (* *) (**************************************************************************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/Base/preamble". +set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-1/preamble". include' "../../../../legacy/coq.ma". @@ -152,9 +152,9 @@ qed. default "equality" cic:/Coq/Init/Logic/eq.ind - cic:/matita/LAMBDA-TYPES/Level-1/Base/preamble/sym_eq.con - cic:/matita/LAMBDA-TYPES/Level-1/Base/preamble/trans_eq.con + cic:/matita/LAMBDA-TYPES/Base-1/preamble/sym_eq.con + cic:/matita/LAMBDA-TYPES/Base-1/preamble/trans_eq.con cic:/Coq/Init/Logic/eq_ind.con cic:/Coq/Init/Logic/eq_ind_r.con - cic:/matita/LAMBDA-TYPES/Level-1/Base/preamble/f_equal.con + cic:/matita/LAMBDA-TYPES/Base-1/preamble/f_equal.con cic:/matita/legacy/coq/f_equal1.con. diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/spare.ma similarity index 93% rename from helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base.ma rename to helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/spare.ma index 09d3ada50..f66934f78 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/spare.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/Base". +set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-1/spare". -include "Base/theory.ma". +include "theory.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/theory.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/theory.ma index 9ecfdb7ed..efa91d3f3 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/theory.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/theory.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/Base/theory". +set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-1/theory". include "ext/tactics.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/types/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/types/defs.ma index 2eaacdde5..a60c1ad64 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/types/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/types/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/Base/types/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-1/types/defs". include "preamble.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/types/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/types/props.ma index c40648bbb..1c9b499bb 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/types/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/Base/types/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/Base/types/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-1/types/props". include "types/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/A/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/A/defs.ma index b7b8eb3bc..0cd603c91 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/A/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/A/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/A/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/A/defs". include "../Base/theory.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/defs.ma index 674b2a9e4..0022395ce 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/C/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/C/defs". include "T/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/props.ma index 7655890bc..979266883 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/C/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/C/props". include "C/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/G/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/G/defs.ma index c493641aa..0c1217a14 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/G/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/G/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/G/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/G/defs". include "../Base/theory.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/dec.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/dec.ma index 7c6fa73da..0d05ba97f 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/dec.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/dec.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/T/dec". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/dec". include "T/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs.ma index cc5d91731..faaad66ce 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/defs". include "../Base/theory.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/props.ma index 8a86e9eaa..1c661524e 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/T/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/T/props". include "T/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/defs.ma index 48b155164..0a1c35ea2 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aplus/defs". include "asucc/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/props.ma index 7edaaa656..4df511966 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aplus/props". include "aplus/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/defs.ma index 5d627311f..258037275 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aprem/defs". include "A/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/props.ma index 6a09b13a1..60264bca2 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/aprem/props". include "aprem/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/aprem.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/aprem.ma index 97a146037..e3a36f11c 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/aprem.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/aprem.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/arity/aprem". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/aprem". include "arity/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/cimp.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/cimp.ma index f4eb23020..2af721d15 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/cimp.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/cimp.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/arity/cimp". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/cimp". include "arity/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/defs.ma index 287c4446c..410400d5f 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/arity/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/defs". include "leq/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/fwd.ma index 7562bc1e3..fbdcd3848 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/arity/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/fwd". include "arity/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/lift1.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/lift1.ma index cad59b67d..46e4c8c86 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/lift1.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/lift1.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/arity/lift1". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/lift1". include "arity/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/pr3.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/pr3.ma index 26a96fc7b..7b60c2af4 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/pr3.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/pr3.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/arity/pr3". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/pr3". include "csuba/arity.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/props.ma index 7ce027561..caef281df 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/arity/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/props". include "arity/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/subst0.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/subst0.ma index 02fd3734e..4592f394a 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/subst0.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/subst0.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/arity/subst0". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/arity/subst0". include "arity/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/defs.ma index 16b40e80d..ae2233051 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/asucc/defs". include "A/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/fwd.ma index 3f4c2d91e..d2c77132e 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/asucc/fwd". include "asucc/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/defs.ma index 84e8f45bb..c5390f97b 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/cimp/defs". include "getl/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/props.ma index 7c78f114b..ae0f6a567 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/cimp/props". include "cimp/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/defs.ma index 3853cbad5..118dc7ccf 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/clear/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/defs". include "C/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/drop.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/drop.ma index 46cb013e3..2cfcaa874 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/drop.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/drop.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/clear/drop". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/drop". include "clear/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/fwd.ma index a617e342e..4749583de 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/clear/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/fwd". include "clear/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/props.ma index d2e2aa7fc..b01bf12e1 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/clear/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clear/props". include "clear/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clen/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clen/defs.ma index fa3d9c061..2885518ea 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clen/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clen/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/clen/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clen/defs". include "C/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clen/getl.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clen/getl.ma index d84bcf799..8773297ca 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clen/getl.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clen/getl.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/clen/getl". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/clen/getl". include "clen/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/defs.ma index a3c2e6606..f9b4334e1 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/cnt/defs". include "T/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/props.ma index a33870137..81620ce9e 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/cnt/props". include "cnt/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/arity.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/arity.ma index fe9436497..ff9d01c9e 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/arity.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/arity.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/arity". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/arity". include "csuba/getl.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/clear.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/clear.ma index f5a06a36f..036ca2882 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/clear.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/clear.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/clear". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/clear". include "csuba/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/defs.ma index 857c2ab89..1b8612a2f 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/defs". include "arity/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/drop.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/drop.ma index e145c6e11..003b18a5e 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/drop.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/drop.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/drop". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/drop". include "csuba/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/fwd.ma index 1bb036cca..2b56bc7a0 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/fwd". include "csuba/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/getl.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/getl.ma index 3a72c1aed..d93e4d618 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/getl.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/getl.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/getl". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/getl". include "csuba/drop.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/props.ma index b0e0b8080..62e10c095 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csuba/props". include "csuba/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/arity.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/arity.ma index 2cad21c83..d697f1257 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/arity.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/arity.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/arity". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/arity". include "csubc/csuba.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/clear.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/clear.ma index ab46f2baa..059c359ab 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/clear.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/clear.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/clear". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/clear". include "csubc/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/csuba.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/csuba.ma index 783c668e6..646247a79 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/csuba.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/csuba.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/csuba". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/csuba". include "csubc/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/defs.ma index 8f5830604..6348a632b 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/defs". include "sc3/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop.ma index f2d90423d..301cba935 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/drop". include "csubc/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop1.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop1.ma index 9c6355244..75651a172 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop1.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop1.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop1". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/drop1". include "csubc/drop.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/getl.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/getl.ma index 6e07e138e..dd2a0397c 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/getl.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/getl.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/getl". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/getl". include "csubc/drop.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/props.ma index 84fa2ec98..d13d2b09f 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubc/props". include "csubc/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/clear.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/clear.ma index ede2bd16f..fb9fdf5a5 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/clear.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/clear.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/clear". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/clear". include "csubst0/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/defs.ma index 044f911b1..5d90ea599 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/defs". include "subst0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/drop.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/drop.ma index a1e7b2291..b1a063208 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/drop.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/drop.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/drop". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/drop". include "csubst0/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/fwd.ma index 0866400a0..7980be5fc 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/fwd". include "csubst0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/getl.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/getl.ma index 745f1ba27..d4ccb6ee5 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/getl.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/getl.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/getl". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/getl". include "csubst0/clear.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/props.ma index 11e81cb3f..24e20c400 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst0/props". include "csubst0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/defs.ma index c4950fb62..a298dfc8c 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst1/defs". include "csubst0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/fwd.ma index a627b70df..96e86eea5 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst1/fwd". include "csubst1/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/getl.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/getl.ma index 0783b17a8..a6af74625 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/getl.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/getl.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/getl". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst1/getl". include "csubst1/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/props.ma index 411cedf7b..9cafa826f 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubst1/props". include "csubst1/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/clear.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/clear.ma index 845371e0f..22581895b 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/clear.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/clear.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/clear". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/clear". include "csubt/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/defs.ma index bbdaaae50..3f90ff3ce 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/defs". include "ty3/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/drop.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/drop.ma index c6216627e..7a7efe4ce 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/drop.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/drop.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/drop". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/drop". include "csubt/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/fwd.ma index 9d5e136cf..92e19a503 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/fwd". include "csubt/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/getl.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/getl.ma index 4210416c0..a0f89e0fa 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/getl.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/getl.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/getl". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/getl". include "csubt/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/pc3.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/pc3.ma index 94e98b52a..86a83b5e7 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/pc3.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/pc3.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/pc3". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/pc3". include "csubt/getl.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/props.ma index c4321b61b..5d88520a9 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/props". include "csubt/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/ty3.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/ty3.ma index 9e0eb6534..3fbcb516f 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/ty3.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/ty3.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/ty3". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/csubt/ty3". include "csubt/pc3.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/defs.ma index aa283e8f4..e0b46886f 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/drop/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/defs". include "C/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/fwd.ma index 0b48e6344..af9e245f3 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/drop/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/fwd". include "drop/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/props.ma index 0cb32f75c..a40e6a75b 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/drop/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop/props". include "drop/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/defs.ma index dafc9d015..dea03ca70 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop1/defs". include "drop/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/getl.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/getl.ma index fd5a2b8be..98f8ba300 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/getl.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/getl.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/getl". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop1/getl". include "drop1/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/props.ma index ee7723013..5d1e9dc29 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/drop1/props". include "drop1/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/defs.ma index 9786b3779..3e16c05ed 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex1/defs". include "C/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/props.ma index b78fe0c92..9872a1baf 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ex1/props". include "ex1/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/defs.ma index ca224f0b3..9143b89a2 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/flt/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/flt/defs". include "C/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/props.ma index 4602f2c6d..a11df495d 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/flt/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/flt/props". include "flt/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/defs.ma index f5f76deec..d3eccba43 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/fsubst0/defs". include "csubst0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/fwd.ma index 8d41179d9..773e57278 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/fsubst0/fwd". include "fsubst0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/clear.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/clear.ma index bc8c31cf9..8b7c55259 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/clear.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/clear.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/getl/clear". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/clear". include "getl/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/dec.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/dec.ma index 6d892bdae..f22b7b333 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/dec.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/dec.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/getl/dec". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/dec". include "getl/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/defs.ma index 8c40f8832..0d97227a1 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/getl/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/defs". include "drop/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/drop.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/drop.ma index 38d2f9dc7..c176ca62d 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/drop.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/drop.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/getl/drop". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/drop". include "getl/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/flt.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/flt.ma index 88150ce35..81a47ff2e 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/flt.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/flt.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/getl/flt". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/flt". include "getl/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/fwd.ma index afa14d8f5..538165227 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/getl/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/fwd". include "getl/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/getl.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/getl.ma index 414da7b21..62218d746 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/getl.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/getl.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/getl/getl". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/getl". include "getl/drop.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/props.ma index 5287d69b5..a5228d950 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/getl/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/getl/props". include "getl/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/defs.ma index 8ea75dbee..b99cc1ee6 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/gz/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/gz/defs". include "A/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/props.ma index 463b3de6a..fe7112070 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/gz/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/gz/props". include "gz/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/defs.ma index 41de14215..fa327f922 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/iso/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/iso/defs". include "T/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/fwd.ma index 61a965d15..5a6607941 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/iso/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/iso/fwd". include "iso/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/props.ma index 15a4e77fd..edc9758a9 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/iso/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/iso/props". include "iso/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/asucc.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/asucc.ma index f632b7519..c996451b4 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/asucc.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/asucc.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/leq/asucc". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/asucc". include "leq/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/defs.ma index 51db1202c..d14a0e535 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/leq/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/defs". include "aplus/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/fwd.ma index ee5d66749..36c26579b 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/leq/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/fwd". include "leq/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/props.ma index 912d617f0..2fda46a6e 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/leq/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/leq/props". include "leq/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/defs.ma index 66b000e77..9a03fcd17 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/lift/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/defs". include "T/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd.ma index 44ca12dec..e96bdc0ae 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/fwd". include "lift/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/props.ma index 8987e40f0..0051630c6 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/lift/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/props". include "tlist/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/tlt.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/tlt.ma index f03f26618..19ce970db 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/tlt.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/tlt.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/lift/tlt". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift/tlt". include "lift/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/defs.ma index 45a489f1b..4042efeee 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/defs". include "lift/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/fwd.ma index 8400f1f34..bbdef6d1f 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/fwd". include "lift1/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/props.ma index 5b92ff26a..216c6d80b 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/lift1/props". include "lift1/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/llt/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/llt/defs.ma index ae8e69c09..19ef14486 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/llt/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/llt/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/llt/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/llt/defs". include "A/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/llt/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/llt/props.ma index 4a3b2b3e1..96aab8ccf 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/llt/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/llt/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/llt/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/llt/props". include "llt/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/defs.ma index 48e79bd32..1764e8610 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/next_plus/defs". include "G/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/props.ma index 7cbabafb9..41139d520 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/next_plus/props". include "next_plus/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/dec.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/dec.ma index b84c503d4..d7aa80992 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/dec.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/dec.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/dec". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/dec". include "nf2/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/defs.ma index 134910436..2819de53b 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/defs". include "pr2/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/fwd.ma index d9081db2a..27a629724 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/fwd". include "nf2/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/iso.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/iso.ma index 83eee6eb2..54b097c04 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/iso.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/iso.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/iso". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/iso". include "nf2/pr3.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/lift1.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/lift1.ma index f939e56fa..33c44778d 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/lift1.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/lift1.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/lift1". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/lift1". include "nf2/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/pr3.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/pr3.ma index 9c6dc2913..2206469dc 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/pr3.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/pr3.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/pr3". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/pr3". include "nf2/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/props.ma index 89f766ee4..5e056a423 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/nf2/props". include "nf2/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/defs.ma index ac831f160..c81142f5d 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc1/defs". include "pr1/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/props.ma index 980c1ae50..0bd48d44c 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc1/props". include "pc1/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/dec.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/dec.ma index 377c4ea39..01f4fc13b 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/dec.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/dec.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/dec". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/dec". include "ty3/arity_props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/defs.ma index b7651e41f..91d5eaf8b 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/defs". include "pr3/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fsubst0.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fsubst0.ma index 675efe302..6ab7daf1c 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fsubst0.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fsubst0.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fsubst0". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/fsubst0". include "pc3/left.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fwd.ma index a393d0f18..cb4d66f03 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/fwd". include "pc3/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/left.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/left.ma index 5caeee043..c14f0f81a 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/left.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/left.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/left". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/left". include "pc3/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/pc1.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/pc1.ma index 6bc140307..0893239e4 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/pc1.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/pc1.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/pc1". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/pc1". include "pc3/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/props.ma index 3bb6c75c6..98a40de4e 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/props". include "pc3/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/subst1.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/subst1.ma index c2cbcd118..510b2d649 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/subst1.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/subst1.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/subst1". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/subst1". include "pc3/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/wcpr0.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/wcpr0.ma index 5a8fb4625..5ed59a431 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/wcpr0.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/wcpr0.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/wcpr0". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pc3/wcpr0". include "pc3/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/dec.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/dec.ma index d44ef3186..26c4a21b6 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/dec.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/dec.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/dec". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/dec". include "pr0/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/defs.ma index 0047ef3e5..4086f5beb 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/defs". include "subst0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/fwd.ma index f0cde41e0..5d1ef3b24 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/fwd". include "pr0/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/pr0.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/pr0.ma index f04a552db..59e04cef8 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/pr0.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/pr0.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/pr0". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/pr0". include "pr0/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/props.ma index 8aff570af..77f4c6d9e 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/props". include "pr0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/subst1.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/subst1.ma index ec55d79e1..0aa55239f 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/subst1.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/subst1.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/subst1". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr0/subst1". include "pr0/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/defs.ma index c843e2da1..85540bde7 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr1/defs". include "pr0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/pr1.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/pr1.ma index cc538838c..98a21a512 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/pr1.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/pr1.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/pr1". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr1/pr1". include "pr1/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/props.ma index 08fd5bf1f..7840b3cd2 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr1/props". include "pr1/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/clen.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/clen.ma index 00dda8542..27275fa3a 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/clen.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/clen.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/clen". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/clen". include "pr2/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/defs.ma index 8466ceef0..77932c984 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/defs". include "pr0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/fwd.ma index 222786926..6e91b63e9 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/fwd". include "pr2/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/pr2.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/pr2.ma index d56d40f53..307d55398 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/pr2.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/pr2.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/pr2". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/pr2". include "pr2/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/props.ma index 793288eda..2cb35e582 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/props". include "pr2/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/subst1.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/subst1.ma index db6cf7df6..27a0221d5 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/subst1.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/subst1.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/subst1". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr2/subst1". include "pr2/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/defs.ma index 5e14a9fc6..3baff8a16 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/defs". include "pr2/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/fwd.ma index b1705e99f..5e6137217 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/fwd". include "pr3/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/iso.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/iso.ma index 99a06b1a6..1f628e9b2 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/iso.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/iso.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/iso". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/iso". include "pr3/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr1.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr1.ma index 820b4feb8..21344033e 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr1.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr1.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr1". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/pr1". include "pr3/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr3.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr3.ma index 1969c14ae..c29781a0e 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr3.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr3.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr3". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/pr3". include "pr3/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/props.ma index 8bccde83f..c07efa64d 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/props". include "pr3/pr1.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/subst1.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/subst1.ma index c1f85ae5e..4894993fc 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/subst1.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/subst1.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/subst1". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/subst1". include "pr3/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/wcpr0.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/wcpr0.ma index 949cc41ed..dd20dae41 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/wcpr0.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/wcpr0.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/wcpr0". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/pr3/wcpr0". include "pr3/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/defs.ma index c98208a78..005f3a107 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/r/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/r/defs". include "T/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/props.ma index fc8b29095..505d1e450 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/r/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/r/props". include "r/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/defs.ma index 477e4a4ad..6cb9d340f 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/s/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/s/defs". include "T/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/props.ma index 01803231b..ceb02c249 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/s/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/s/props". include "s/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/arity.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/arity.ma index a347cc075..e7f13ac61 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/arity.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/arity.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/arity". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sc3/arity". include "csubc/arity.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/defs.ma index 5942dd4f8..fd161f395 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sc3/defs". include "sn3/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/props.ma index 465a97ee7..c1d3787b8 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sc3/props". include "sc3/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/defs.ma index 03b7e952a..0d38de3a8 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/defs". include "pr3/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/fwd.ma index 32cb16386..779e4a8cf 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/fwd". include "sn3/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/lift1.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/lift1.ma index 3533a3989..d84d094a2 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/lift1.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/lift1.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/lift1". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/lift1". include "sn3/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/nf2.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/nf2.ma index 1279cc30b..7b5c1d1bb 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/nf2.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/nf2.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/nf2". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/nf2". include "sn3/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/props.ma index c72798ba0..8cdfff89e 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/sn3/props". include "sn3/nf2.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/spare.ma similarity index 91% rename from helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma rename to helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/spare.ma index 8642561d2..5954560ed 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/spare.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare". -include "LambdaDelta/theory.ma". +include "theory.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/dec.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/dec.ma index 77c87f905..cfa2bbe3f 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/dec.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/dec.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/dec". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/dec". include "subst0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/defs.ma index c16d69744..c675bc6ab 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/defs". include "lift/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/fwd.ma index 622fbc20d..5a8baf190 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/fwd". include "subst0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/props.ma index 8d4033901..87dac1295 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/props". include "subst0/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/subst0.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/subst0.ma index 8e1e4e5b9..9b9c0bb54 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/subst0.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/subst0.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/subst0". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/subst0". include "subst0/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/tlt.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/tlt.ma index 0a0953123..37b74c00c 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/tlt.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/tlt.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/tlt". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst0/tlt". include "subst0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/defs.ma index 49102e3e0..304adc590 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/defs". include "subst0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/fwd.ma index a861ca4ae..317086097 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/fwd". include "subst1/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/props.ma index 525424b43..a933775b7 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/props". include "subst1/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/subst1.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/subst1.ma index 0c54f9156..dc20f3ff3 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/subst1.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/subst1.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/subst1". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/subst1/subst1". include "subst1/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/defs.ma index 84f1a28ca..0a1853ded 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tau0/defs". include "G/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/props.ma index 5cf65f2f3..9baf6cb96 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tau0/props". include "tau0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/cnt.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/cnt.ma index 9dccd4da0..845ea8933 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/cnt.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/cnt.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/cnt". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tau1/cnt". include "tau1/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/defs.ma index c5eeb0138..09a531fbc 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tau1/defs". include "tau0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/props.ma index 2ea9bd7f8..30ee3158c 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tau1/props". include "tau1/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma index 60888280b..d5ec1f6a2 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/theory". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/theory". include "T/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/defs.ma index ab7e3258b..ad412abf3 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlist/defs". include "T/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/props.ma index 5a91e56b8..9f37ad2b4 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlist/props". include "tlist/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/defs.ma index 7245a89ff..f5acb3e27 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/defs". include "T/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/props.ma index 6b0e8005a..c2dacafde 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/tlt/props". include "tlt/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity.ma index a4ca54272..9db7a645c 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/arity". include "ty3/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity_props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity_props.ma index 098a32c0b..c42884171 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity_props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity_props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity_props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/arity_props". include "ty3/arity.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/dec.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/dec.ma index e46c2bacf..4a8ed6c73 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/dec.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/dec.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/dec". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/dec". include "ty3/pr3_props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/defs.ma index 457d1d09b..8ddb60c91 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/defs". include "G/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fsubst0.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fsubst0.ma index 3a7c41e39..4bc299e43 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fsubst0.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fsubst0.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fsubst0". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/fsubst0". include "ty3/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fwd.ma index a3ee2cbf0..3e9846516 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/fwd". include "ty3/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3.ma index 55a2457a9..99eb3bc22 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/pr3". include "csubt/ty3.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3_props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3_props.ma index f429f69d5..6cf0c095a 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3_props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3_props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3_props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/pr3_props". include "ty3/pr3.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/props.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/props.ma index d7615f70f..053b5d677 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/props.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/props.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/props". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/props". include "ty3/fwd.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/subst1.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/subst1.ma index 094ce7ecb..7a91362cc 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/subst1.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/subst1.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/subst1". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/subst1". include "ty3/props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/tau0.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/tau0.ma index ff9b2da36..8bc71a82e 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/tau0.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/tau0.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/tau0". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/ty3/tau0". include "ty3/pr3_props.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/defs.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/defs.ma index 5cdec7d55..dff8bb8cc 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/defs.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/defs.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wcpr0/defs". include "pr0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/fwd.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/fwd.ma index 25d8c2900..359d38544 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/fwd.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/fwd.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/fwd". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wcpr0/fwd". include "wcpr0/defs.ma". diff --git a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/getl.ma b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/getl.ma index 5b3d7b505..f52805131 100644 --- a/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/getl.ma +++ b/helm/software/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/getl.ma @@ -14,7 +14,7 @@ (* This file was automatically generated: do not edit *********************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/getl". +set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/wcpr0/getl". include "wcpr0/defs.ma". -- 2.39.2