Level-1: regenerated with differnt baseuris

diff --git a/matita/contribs/LAMBDA-TYPES/Level-1/Base.ma b/matita/contribs/LAMBDA-TYPES/Level-1/Base.ma
deleted file mode 100644 (file)
index 09d3ada..0000000
--- a/matita/contribs/LAMBDA-TYPES/Level-1/Base.ma
+++ /dev/null
@@ -1,20 +0,0 @@
-(**************************************************************************)
-(*       ___                                                              *)
-(*      ||M||                                                             *)
-(*      ||A||       A project by Andrea Asperti                           *)
-(*      ||T||                                                             *)
-(*      ||I||       Developers:                                           *)
-(*      ||T||         The HELM team.                                      *)
-(*      ||A||         http://helm.cs.unibo.it                             *)
-(*      \   /                                                             *)
-(*       \ /        This file is distributed under the terms of the       *)
-(*        v         GNU General Public License Version 2                  *)
-(*                                                                        *)
-(**************************************************************************)
-
-(* This file was automatically generated: do not edit *********************)
-
-set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/Base".
-
-include "Base/theory.ma".
-

diff --git a/matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/defs.ma
index ceb52445e2275eb8bdf21ce579e993e83744959c..4864a2c861c61b2215540489fdd61bc0e7d63232 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/props.ma
index 34b6059d5458e274ac59e63ae72e3d2cf3ec0b2e..c7952ebd20beb6df6fa93426d1c0784f4e0d6255 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/Base/blt/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/arith.ma b/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/arith.ma
index db695492205d9d371321bd39048fa7bfe5921d02..1ce93fd7f9333e9ee1507d48101ecab6fa0760ea 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/arith.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/tactics.ma b/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/tactics.ma
index d5509cd45c73fa97eb0bab6d10af50fc166997c4..4a7946c6850d01ab72be52c39dcb8d2827d4f043 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/Base/ext/tactics.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/Base/plist/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/Base/plist/defs.ma
index f53e2d1acf5caab7d8afcb512aaf55f8243267de..1ca1142d9acd0d380cbbb674dd4e3945a35c6408 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/Base/plist/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/Base/plist/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/Base/plist/props.ma
index ae5665fc65b52c111cacd488e78c047119c3dee8..7338262f1127b22d854175ef9af05c5c67b2ce10 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/Base/plist/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/Base/preamble.ma b/matita/contribs/LAMBDA-TYPES/Level-1/Base/preamble.ma
index be7a435863b8466e56daf8821f580e8c99e96b41..9b2d974f42114d7db3a8c4544b547d0d5f374048 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/Base/preamble.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/Base/spare.ma b/matita/contribs/LAMBDA-TYPES/Level-1/Base/spare.ma
new file mode 100644 (file)
index 0000000..f66934f
--- /dev/null
+++ b/matita/contribs/LAMBDA-TYPES/Level-1/Base/spare.ma
@@ -0,0 +1,20 @@
+(**************************************************************************)
+(*       ___                                                              *)
+(*      ||M||                                                             *)
+(*      ||A||       A project by Andrea Asperti                           *)
+(*      ||T||                                                             *)
+(*      ||I||       Developers:                                           *)
+(*      ||T||         The HELM team.                                      *)
+(*      ||A||         http://helm.cs.unibo.it                             *)
+(*      \   /                                                             *)
+(*       \ /        This file is distributed under the terms of the       *)
+(*        v         GNU General Public License Version 2                  *)
+(*                                                                        *)
+(**************************************************************************)
+
+(* This file was automatically generated: do not edit *********************)
+
+set "baseuri" "cic:/matita/LAMBDA-TYPES/Base-1/spare".
+
+include "theory.ma".
+

diff --git a/matita/contribs/LAMBDA-TYPES/Level-1/Base/theory.ma b/matita/contribs/LAMBDA-TYPES/Level-1/Base/theory.ma
index 9ecfdb7ed0037451fe801098a0f1c9c7613acb5e..efa91d3f301d66716c95041617d0ca54401b6b88 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/Base/theory.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/Base/types/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/Base/types/defs.ma
index 2eaacdde5e91d1da0ffdc402517598b88e0acd54..a60c1ad64c96ebca2a4c559485196104f0c1f133 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/Base/types/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/Base/types/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/Base/types/props.ma
index c40648bbb2d2fa1dd08cec8f098876b920cdb0a9..1c9b499bba0b102cde84aeb5c6cfbbc06f5e9a1a 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/Base/types/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma
deleted file mode 100644 (file)
index 8642561..0000000
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta.ma
+++ /dev/null
@@ -1,20 +0,0 @@
-(**************************************************************************)
-(*       ___                                                              *)
-(*      ||M||                                                             *)
-(*      ||A||       A project by Andrea Asperti                           *)
-(*      ||T||                                                             *)
-(*      ||I||       Developers:                                           *)
-(*      ||T||         The HELM team.                                      *)
-(*      ||A||         http://helm.cs.unibo.it                             *)
-(*      \   /                                                             *)
-(*       \ /        This file is distributed under the terms of the       *)
-(*        v         GNU General Public License Version 2                  *)
-(*                                                                        *)
-(**************************************************************************)
-
-(* This file was automatically generated: do not edit *********************)
-
-set "baseuri" "cic:/matita/LAMBDA-TYPES/Level-1/LambdaDelta".
-
-include "LambdaDelta/theory.ma".
-

diff --git a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/A/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/A/defs.ma
index b7b8eb3bc32440e125f41c237055bd21d8ed4069..0cd603c91fbc9c650527efe190138e76d0eaa822 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/A/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/defs.ma
index 674b2a9e48bfd99bb5df30cbfe0ca8fe1d487c06..0022395ce0579f09ac538b9dc2b47aae10bfee47 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/props.ma
index 7655890bc53274a5449cdecbf6ef0fe1d675eee6..97926688359442e300d10e00cf2a3d6b0c0b77b0 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/C/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/G/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/G/defs.ma
index c493641aaceaf41b663a21ecebc35b7a9d3c1cf2..0c1217a144cc5ade55bcd88205080f96adc112d8 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/G/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/dec.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/dec.ma
index 7c6fa73da08bfaa1ec511821779f3d5f3e15977b..0d05ba97f50fd9f21be9e21675a7489abc0eaf02 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/dec.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs.ma
index cc5d917318e05b9643df31f4b1fbf3686fe934d6..faaad66ce51ca0f400fadcbe150a1329fe0dcdb9 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/props.ma
index 8a86e9eaa942906d9d58b3be440a651c50cd3d92..1c661524e92f51ade8d99f53179f7d80f16f9d47 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/T/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/defs.ma
index 48b155164e7d326d1f2d40d00414574da62c166a..0a1c35ea23290c295f1131f2e0418cbc4eedb162 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/props.ma
index 7edaaa65663e475008093ee6f226e1fd6eeebc2a..4df511966eb9dc6d202f2955793f9ade306d617b 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aplus/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/defs.ma
index 5d627311f8a5e664320e2ea24032435cf7d1222e..2580372750d211a97266de8d8e815a9379172ae6 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/props.ma
index 6a09b13a112f88a3182a02feb9957c79bf6e25fe..60264bca217d58e0bbefed4a487dbd7b2b5397bc 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/aprem/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/aprem.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/aprem.ma
index 97a146037556f840f610957c4e789cdc281c9f1d..e3a36f11c5f5316f60e7d0e5956d503968662115 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/aprem.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/cimp.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/cimp.ma
index f4eb2302069aee75f5ed862d3573b590440a8491..2af721d15eee3290a56544e584347a793cc1a627 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/cimp.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/defs.ma
index 287c4446c35bf12794d921d2ba49de9577e37391..410400d5f50c7980fe1f59eccac91f8f8470ccc9 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/fwd.ma
index 7562bc1e373db7251dfc6a58da453f2004bfbba3..fbdcd3848ca7d6c0786045e15e0b6a0c071b11b5 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/lift1.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/lift1.ma
index cad59b67dc5ab11d20974605bd4e6e92ca5a9b73..46e4c8c8616f4a5f3f14d37f3c51a617e0348499 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/lift1.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/pr3.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/pr3.ma
index 26a96fc7b29f73378b2c7345260e668e2b8e03dd..7b60c2af4bb8558db707e183445fc9c609c1f082 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/pr3.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/props.ma
index 7ce0275619094e4fa59ba39e5d90aacd82e17da3..caef281df2d20fa18e414cb02ae9838f33a6d9e4 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/subst0.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/subst0.ma
index 02fd3734e94bc5ef6e4a790fdfb471c49ee0896c..4592f394aa774e14ae8000af643b136b4acb6758 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/arity/subst0.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/defs.ma
index 16b40e80d3845886e2a6a5feeb79f157e8bb8818..ae2233051f09fd24e233c40f9f221923d91ed4f4 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/fwd.ma
index 3f4c2d91e15d264592ade8483b3358ee9e85bc47..d2c77132e80e51d61b3b56771af9fd5b6ea73cc7 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/asucc/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/defs.ma
index 84e8f45bb613f4f1f5c2a194ea07ffc778694b73..c5390f97bf679ecff144ea3c7b7f6feed8ad8aee 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/props.ma
index 7c78f114bfa0cef420e4687d54ec1371886bb906..ae0f6a567474d325ac28c99307f1a84ce4a51ff7 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cimp/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/defs.ma
index 3853cbad5ac1f0f8eceddba912777f1a549c2b9f..118dc7ccfb2f72f7fa5b8e72668f6b388b3e611e 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/drop.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/drop.ma
index 46cb013e315a52a81f9f30ebb496c789d7bff564..2cfcaa87412536a575cf880ef833a91fc0d92322 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/drop.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/fwd.ma
index a617e342e75e5922a824d2693cfc1fe4b436f609..4749583de34169306fa8edb969348f44b1acb924 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/props.ma
index d2e2aa7fc9df3fa77aabbc2700ad4db3547edd7b..b01bf12e1859d517cd220a0c6143eb5f222f35d3 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clear/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clen/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clen/defs.ma
index fa3d9c0611648332abd40d7b4dd4101f536dbbd4..2885518ead037687b24ed63cabc95b84da77577d 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clen/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clen/getl.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clen/getl.ma
index d84bcf799890a9f43ec812f57090986f362637e9..8773297ca2ccaa3c0fd573ab19419ef105bc3ddf 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/clen/getl.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/defs.ma
index a3c2e6606f70902ed59f61cac59740055bc6d4bd..f9b4334e10b90947351ceaf17dece7d86f7e9d06 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/props.ma
index a33870137ceea84afab8769b29ca7df0cf31fa0e..81620ce9ee677b400328dc64a9ed7325a6ccfd4f 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/cnt/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/arity.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/arity.ma
index fe9436497a36f6a1f538bd0f5bed6ba7c5a1cc01..ff9d01c9ebf8cfed93fbcd5ed81cdcbccd48a745 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/arity.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/clear.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/clear.ma
index f5a06a36f5a8bcbfcb57c650f6e23f6acc58906a..036ca2882f24e9251e0946433362e02356096112 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/clear.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/defs.ma
index 857c2ab896640c80b731c5b01f5bd0463ade1e72..1b8612a2f81d1ae19cc2429fb9a1712957b7d847 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/drop.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/drop.ma
index e145c6e11c00238caa470b8844ae63e39234474c..003b18a5e3bbb9b6bf4c47049981b8cbb50b6df4 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/drop.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/fwd.ma
index 1bb036cca9a11066c441de2a0d30fe33c448de41..2b56bc7a0884f8554e9acb6f8721f393642156ce 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/getl.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/getl.ma
index 3a72c1aedac19ad7d71cc6d5608497dcfddbdabe..d93e4d61824cbf76775a9ffe2539196bb532df03 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/getl.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/props.ma
index b0e0b8080a2e1843e59ca783ceec412244dea7ed..62e10c0958b26ad3e1b8009da153ab7a1cc356e7 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csuba/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/arity.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/arity.ma
index 2cad21c833f4791a194deec0290902a3c3e747f7..d697f125707b5826f84049b6d902f1dcdcedb6c1 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/arity.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/clear.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/clear.ma
index ab46f2baac2a61a9ff6e1e8a303554dcfd73e84f..059c359aba55d7e931d382d4f5bb0589e97f5d91 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/clear.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/csuba.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/csuba.ma
index 783c668e65eef873753ff52f9d94705f96399492..646247a793eb258038ac9b2208cd16c7746f33c6 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/csuba.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/defs.ma
index 8f5830604e247ea768ababf4c7e9194c0c126c4c..6348a632b92579519ea6777971a7f860053a22dd 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop.ma
index f2d90423d57972fc5549e686cbc09e907db38905..301cba9357bfb4b8d12f039e3fecf15ac1a78d5b 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop1.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop1.ma
index 9c6355244cc18b1611bd15a3d6b703b3d83d7346..75651a172d5a51d6457d48bfb8990153d6b44719 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/drop1.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/getl.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/getl.ma
index 6e07e138ef4ff0393c3f05a46b46bb7b6b35ccc2..dd2a0397ca629af9ab4767c00ce2ac30dba29a13 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/getl.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/props.ma
index 84fa2ec98d38d2efcf0881836e7f2505f97e8522..d13d2b09fec450edfb37b9be96e72eabf6c50432 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubc/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/clear.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/clear.ma
index ede2bd16fefc20579b77bb2a8fac0b482c6986d2..fb9fdf5a563dd4736094401e7e9b0c074f8d4232 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/clear.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/defs.ma
index 044f911b1176f725705562d2e5878b24428184db..5d90ea5998f98418bee75be8e289e2f81757f0d4 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/drop.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/drop.ma
index a1e7b22911fecb0b9ddca9b49e52d58faa8558d6..b1a0632080a04ebd721314473382ee79ab11168a 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/drop.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/fwd.ma
index 0866400a029f2d2dda175d4f20ff7694f41a7de4..7980be5fce74f62c2c470b93fdf66470661e5ebf 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/getl.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/getl.ma
index 745f1ba2797829faeea852a019fb5b182e234876..d4ccb6ee512dbf20a85a5515ed690249ee4a6050 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/getl.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/props.ma
index 11e81cb3f28bf230ed4c7e4cb970e147c2fb25ff..24e20c4003e94e6070b536b5526d2f762e2ab1ac 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst0/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/defs.ma
index c4950fb62e5efd7480c352569bc5a2282fff770d..a298dfc8c097685cf98bc3bb909227590da873a9 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/fwd.ma
index a627b70dfd4cea503c1ac2410ddccfca2c59ba90..96e86eea5eed8f065222d51b1fdd93ed52b42407 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/getl.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/getl.ma
index 0783b17a81bf897cceccbc4784ddeb4d214bd642..a6af74625a928366c7ef937af3860265a3f78b3d 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/getl.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/props.ma
index 411cedf7bf65b580671547398663446b1eb5984f..9cafa826f22c0ae9a1014ba0e4d63777c6f31478 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubst1/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/clear.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/clear.ma
index 845371e0fdb994a48436a98f6e1ebe59dd28f30b..22581895b29dbe2561c4d9a59489fdbf030e15bf 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/clear.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/defs.ma
index bbdaaae50bbabd230fe5adf27309bf4c8e9412c5..3f90ff3ce22f208eb47ca11d06e403ea328f3cf5 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/drop.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/drop.ma
index c6216627ed6c4a608abb8096aa71b4c3fec3e6c1..7a7efe4ce2aad6abee96eb8554af40a203ebea23 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/drop.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/fwd.ma
index 9d5e136cfb10d083c51988288ab231f09cf57e74..92e19a50396821a11ebf9c81b52cde7ec8c40dc3 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/getl.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/getl.ma
index 4210416c06430b80bcce98065d0a54f25e199c67..a0f89e0fa16feb281cc9123f2f942063050e82c1 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/getl.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/pc3.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/pc3.ma
index 94e98b52a2edd1a0395dbaff4d486ccda76773fb..86a83b5e727ee576c2db986504eb2f6d4e7d991d 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/pc3.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/props.ma
index c4321b61b28845c676ca33fc5aa437af19a6de25..5d88520a97f92a9232ad30f2501d88ca1675bef6 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/ty3.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/ty3.ma
index 9e0eb6534ac4b43420c0190a2b4a860eb9fe78cd..3fbcb516fe2e9c3221e4c392664fe24809181c06 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/csubt/ty3.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/defs.ma
index aa283e8f42b20c1094ef6ac06e6b783dea532a2d..e0b46886f1b6e9faedbd4ef303c4154dd8a1abbe 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/fwd.ma
index 0b48e63442f9d0b5112e08d8dde3451594c0f9b3..af9e245f3acca45b674289c15992b9472ab09175 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/props.ma
index 0cb32f75c254cb6b3f8e6a9e613680c552ba2c85..a40e6a75bb56fa94893a65867bc2a8df1a844f5b 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/defs.ma
index dafc9d015660b0399640645c115e9535eda9d482..dea03ca7015ef583108327ebe32ed90da87cdf05 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/getl.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/getl.ma
index fd5a2b8be79ae4d160bc6243d032c1672f0ad407..98f8ba3009e1d1a5b15c2372d68203232efff80b 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/getl.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/props.ma
index ee772301374d507679d4e42bceaf40cd1e8aac69..5d1e9dc291bfcc6c19a2b76f2621ce269ec41b3e 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/drop1/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/defs.ma
index 9786b377904a8c644ca9846e35b2bc737f27540f..3e16c05ed0ec907b432213ecd8e5c42c054f6acc 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/props.ma
index b78fe0c925a704f7c187be9a59ae690d89a04881..9872a1bafe57954ecd9357d7ca7fbcb2e10baf2f 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ex1/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/defs.ma
index ca224f0b3f9d4db15bc587e376d0700c1c650eb8..9143b89a2e4cb3db9dd3d11cf621fc69807dcc7f 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/props.ma
index 4602f2c6db3f365bbf9a7017e08814279c163a80..a11df495ddd112ef87e22c60a8302bc2a6cfc8db 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/flt/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/defs.ma
index f5f76deec013fe1876bdc0dccf06061b17ea3cb6..d3eccba434248b767317bed1a67e746545075b80 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/fwd.ma
index 8d41179d97e790434b94a990d89b9629a9acb8f0..773e572787cf9c7e835a2d141c669821345c4edd 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/fsubst0/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/clear.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/clear.ma
index bc8c31cf9b72698a24d6e047e66f80cfde35ce5f..8b7c5525957887f59421ec91cc63b8d74f12c84d 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/clear.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/dec.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/dec.ma
index 6d892bdae97f0aedcb131fee081b09e9e590c9ac..f22b7b333abc04f4fcd2d768aa57bc0f58a6adda 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/dec.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/defs.ma
index 8c40f88323598c1498d13e8b1cd75c95b208f031..0d97227a182b551589d0bfbed764744f29349d4d 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/drop.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/drop.ma
index 38d2f9dc7d1a79049f37df688a19d3aebff3aac5..c176ca62d04b7b7423a77e00ea01eb2cf24d0858 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/drop.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/flt.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/flt.ma
index 88150ce35edb69f6d0266aa762a3c277e1424b43..81a47ff2e852a00db81f3c68198878c33639c48d 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/flt.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/fwd.ma
index afa14d8f5af4334e97af3f7ad0e7c138926c0442..5381652272098b3973806d80e7ecc77d6d661bda 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/getl.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/getl.ma
index 414da7b215a23366eff3516bc8b482cf05960916..62218d746e2a0685593c74f4ca8c9f8c7d435ba2 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/getl.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/props.ma
index 5287d69b59c29c83969d18f26e872febacce4040..a5228d9502a00b3d1c63e278af282447675157b4 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/getl/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/defs.ma
index 8ea75dbee10162b919b5686174356470dc841114..b99cc1ee60f1003b802c5c80f48f13673689ff81 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/props.ma
index 463b3de6a1aea2240675b20b282dc61921f37020..fe71120701ea1f3cf807013031234299c67ad081 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/gz/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/defs.ma
index 41de1421556643e20b5f30f0029cb63c446d9da4..fa327f922cee556b04fa0e2f2eef0be6cf05fb3e 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/fwd.ma
index 61a965d156216628a8bed14e72b0d94a4c402f2e..5a66079414670dac6425c5de2aef7fcd92b9a2ce 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/props.ma
index 15a4e77fdb084209ae84e43fdd9650b2848776e4..edc9758a98a53fe41bd8c8a2794acf47abc7b32f 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/iso/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/asucc.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/asucc.ma
index f632b7519936b022bc3a8346faf3eb3f261aa464..c996451b46b4f9fed0e2337a5f2b455fe27e35f5 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/asucc.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/defs.ma
index 51db1202c120c13cfeaf1a2263a1cb813adc8182..d14a0e5353e17b547f29eadc94b2b4f45f8d87ee 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/fwd.ma
index ee5d667495a1562d7ea216867f40cb35b27ad6ca..36c26579b5bc9ad1f918ab3cee0040ed94d009bf 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/props.ma
index 912d617f0cf6f8657df37fc62b8c8a0eaea0aa8e..2fda46a6e65e001a88d2be06c4e234bd0d4da5c0 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/leq/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/defs.ma
index 66b000e77f1463c1ee7a8ccbebc6ecf4f0c0b1fc..9a03fcd170e48292d3c1165dc8f7edc02a576923 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd.ma
index 44ca12dec4b32f01ed1108a85972d18b9f3b8e78..e96bdc0aea20cc908464334865e954c7d3c295b8 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/props.ma
index 8987e40f08c8947e2dd927d75f1ad2b2ae825555..0051630c62c61a230c82caf8a66d1b9df07e2003 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/tlt.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/tlt.ma
index f03f26618fb665260145b2ab6b126194b36209eb..19ce970db7daf4e1b55ef5ac37b661ed2aa73edb 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift/tlt.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/defs.ma
index 45a489f1b26762b1b3c2f7a4465ecb6447360c0b..4042efeee7798ccf7a645a7f72608906c2874372 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/fwd.ma
index 8400f1f34026b5eb6f4a247e1e0f82f993221efa..bbdef6d1f9e5f1f034a4bac4a0254a29d57cd0ea 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/props.ma
index 5b92ff26a0a52481b1908938ca282eab15568518..216c6d80b8c869d82424f67ac682a0930b8a6f3a 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/lift1/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/llt/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/llt/defs.ma
index ae8e69c09c9953eea061581b18f0e4f4d2ad67da..19ef144865d3288fb338b2209df9d56d03d3dded 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/llt/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/llt/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/llt/props.ma
index 4a3b2b3e1a0017fcc22f6554d7508c8df60abe57..96aab8ccf67e539e12069e8e05850b35d4e2616d 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/llt/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/defs.ma
index 48e79bd32383769247d945b9c2bc92a1631d0dfb..1764e86108ea4f0df1ed393ccda4fb29aed73b6e 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/props.ma
index 7cbabafb9909ad82944964dcdbdd4e8e54d4c891..41139d520e3d38690ddc72fd5691d980b42a7668 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/next_plus/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/dec.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/dec.ma
index b84c503d4e3bf3b87d8c4fb3e4e9c58745890cd0..d7aa80992ee16d80b5bd7575fc6f26c3afc35ddb 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/dec.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/defs.ma
index 134910436886d59587a722b67649d6bfd717b61b..2819de53b92525dc188446e333934c862757a00d 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/fwd.ma
index d9081db2a5b979d9400a719eaa19a7b8654e86ee..27a629724bea9fe9b1eacd717c1467f55304f06a 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/iso.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/iso.ma
index 83eee6eb24148aefe08035355e770f2556a95ae2..54b097c04226e9e880f8d073683ffc1d3845fe32 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/iso.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/lift1.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/lift1.ma
index f939e56fa67503ad606f3d31a22e8b49376a40d5..33c44778da31ab61f7cf21b451ea455f99ed4fbe 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/lift1.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/pr3.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/pr3.ma
index 9c6dc2913d542cea90bca479c72383ec9f3801a9..2206469dc49c3084fd427d12cce229202edc0d89 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/pr3.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/props.ma
index 89f766ee497714f7acf70a787d732040a856898a..5e056a423fb47aae56ca0918849e42b403b0228d 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/nf2/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/defs.ma
index ac831f160efebd264f11a85d7c3260e330275bf4..c81142f5df78af549b9bb834acb2659779bddae3 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/props.ma
index 980c1ae50db94433a6056844477428bc72de0327..0bd48d44c1003ad868ddeedb92d8477b5e759721 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc1/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/dec.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/dec.ma
index 377c4ea39b4e919f7612df8bccf696804650987c..01f4fc13bfdc548f061827e411edace741478cb2 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/dec.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/defs.ma
index b7651e41fc07a144bafe1482e2b27db2f7ea2499..91d5eaf8b7c3f0e2973622f5465d57bc9c102387 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fsubst0.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fsubst0.ma
index 675efe3028101c147d361c2177fe1af653df5d22..6ab7daf1cb08a7ecf887f2cdd3e38fdc6ca80d7f 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fsubst0.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fwd.ma
index a393d0f18fc0386d7a2322f4f5da3773466c89d0..cb4d66f0324336d8bbd935a010bafbe7d9ed30f1 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/left.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/left.ma
index 5caeee043cebe0de7a108b8630d37b4795fc0646..c14f0f81a6f9a9e6bdb6eefdfee62c81bf0b245c 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/left.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/pc1.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/pc1.ma
index 6bc140307da2eec66ad9451f39600c5e26d7b069..0893239e47c0083e5307ae69d4b47013ed3982bb 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/pc1.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/props.ma
index 3bb6c75c688bc338e1dfd847aec43cd6c843b368..98a40de4e08787596a1c92cf580514b34fcd9943 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/subst1.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/subst1.ma
index c2cbcd118d31a1c87a524117b22390167f838cdf..510b2d649a373afcf2c78b5f51dbf46f5c27572b 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/subst1.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/wcpr0.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/wcpr0.ma
index 5a8fb46255a80357004d40685b68049acb2fbd7c..5ed59a431821a1ca976478abb2880780a0a41793 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pc3/wcpr0.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/dec.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/dec.ma
index d44ef318695bbfb9b1d57ef484cde087307346fc..26c4a21b658aa1dd7f8515b4e8984a40441de49f 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/dec.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/defs.ma
index 0047ef3e536928369cfb9733d069fd53e61e98af..4086f5bebeee415c958a2a1a3b4cd9737e11cea1 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/fwd.ma
index f0cde41e030695eeb52aa9f2a82870ff21d79ade..5d1ef3b24d8e4d4ee8acd03feba0a40a61c4e9fe 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/pr0.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/pr0.ma
index f04a552dba8d2b166751f3c35f08ecd88ae870ac..59e04cef8feba01a1ef3b7ddf0e1fe0d6b7486b6 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/pr0.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/props.ma
index 8aff570af2273574d79ce6e5119c15bd785d9a33..77f4c6d9ee1a0c8aa27e0bf2299605ca19bed220 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/subst1.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/subst1.ma
index ec55d79e1256628133954a1e19a33d36c52ec7bb..0aa55239f2ccf90e1b0463d13abed74569c4bcbb 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr0/subst1.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/defs.ma
index c843e2da1f703fa58c8ac3bd55d369f360b3a2bd..85540bde737914cacfbbacab08789bb777608dd6 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/pr1.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/pr1.ma
index cc538838c670584243f659b10ccdb14364dcc13a..98a21a512f791d82b011ee93264ac6df247eea71 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/pr1.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/props.ma
index 08fd5bf1f0baa6735411e0500bb6e13ea2875d38..7840b3cd29bc14f37ccf5bdf746f553809c59df4 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr1/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/clen.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/clen.ma
index 00dda85420e627c9785a19674b70749120e35d13..27275fa3a10fb54d5926a107b59231d87ac45cb2 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/clen.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/defs.ma
index 8466ceef090aedd8581407dc547acd7ff1febfd5..77932c984ae530724ce254ec3c1ce80527aaa041 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/fwd.ma
index 2227869261d8c2bd20e659e6af34d598d7e9ee89..6e91b63e9c1309d1c4e436b49eec233af990a4a2 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/pr2.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/pr2.ma
index d56d40f539de8bee2764a641d9bd52f21857dcb0..307d55398fdb6c616119bc3d1404990cb4004a8d 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/pr2.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/props.ma
index 793288eda19eee01121e3b0d97dd7bc89bc7d411..2cb35e582a7aeb3293883d6ec730fa9eee5642fd 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/subst1.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/subst1.ma
index db6cf7df6a93d45fcdc2a73b6ff2d046d724651b..27a0221d5011e83c49782c090c758985aae89817 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr2/subst1.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/defs.ma
index 5e14a9fc60b1d6673edc13f77ceb70893ac73171..3baff8a16cf46f37291f98d90ff9ab6ea30ad172 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/fwd.ma
index b1705e99fe99df6d7b417a3f242cf4d878d62629..5e6137217aa44acc6c81dd68ca22565149bacb4d 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/iso.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/iso.ma
index 99a06b1a66a9164bcaf5eff26788cd83120fd431..1f628e9b21dc84f931ee239c8aeb1a561a86e849 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/iso.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr1.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr1.ma
index 820b4feb8c51dc8472e9eb3e189593e63a449f95..21344033ec89849e0c1f59ccd1a0c21ad1d0be85 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr1.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr3.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr3.ma
index 1969c14ae020638aa1d10c53c8317e8972afb9fc..c29781a0e7f91301df05bd4de5f4ea1ab8bd28bb 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/pr3.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/props.ma
index 8bccde83ffff4eeea4705cd558ab0c178cf28a87..c07efa64dd4c27df6b42ba43d2fd822382ccb6bf 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/subst1.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/subst1.ma
index c1f85ae5e3604bc5d66295c7c747f750f7250d60..4894993fc6b24c34b4677e903a7d0e2fd7bc1eca 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/subst1.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/wcpr0.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/wcpr0.ma
index 949cc41ed776a13533dd40f9b5d65989182ec742..dd20dae413f87945be9099d842b028e2ba6c0502 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/pr3/wcpr0.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/defs.ma
index c98208a7801fba8b2e9643b57a5a17fceeabe0dc..005f3a107441f288dfb1bcf1af179407231ca505 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/props.ma
index fc8b29095132f186a18ff609a6779eee3cebb30f..505d1e4507771e149ce550a533e506c012cc2161 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/r/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/defs.ma
index 477e4a4ad46b20771a996da6afee91ebe652460f..6cb9d340fd62bc87d8699b3cf457e66acc7f2a4b 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/props.ma
index 01803231b2b3a028fe9efaca90521b8d58f69d4b..ceb02c249490b792ebf3c95f56078c7775cb8d18 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/s/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/arity.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/arity.ma
index a347cc0751309f6dd4613be74dd73b3ac4fcd490..e7f13ac612e9158083ff81b81cbd9bb4e6f031c0 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/arity.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/defs.ma
index 5942dd4f82c28aba47b988e4c297b644bfa767f1..fd161f395e12ab5efc91dee3ccb0bd0174f07aa1 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/props.ma
index 465a97ee7ba5a93c75a22cd3aebb1400bcd2b190..c1d3787b8cb2ac628abeac0e939a43c3cc5f293e 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sc3/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/defs.ma
index 03b7e952a9c0d074cd00bf97fd3f6109c9ab7251..0d38de3a8530cdadfe1c83bf234523b95d8c6ff8 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/fwd.ma
index 32cb163865cad52ef768c3df7df74c3f563b6204..779e4a8cfbd5fad1e3a50e89598edeb9be928701 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/lift1.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/lift1.ma
index 3533a39891e4d1cb01f4ff542bd06a5d23649489..d84d094a2fdfaacc083f393a8db21088b5a02b26 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/lift1.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/nf2.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/nf2.ma
index 1279cc30b8390df05178fb74c84d20f2c4f6740e..7b5c1d1bbf9262c5d8b88e27b8285b3608158da6 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/nf2.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/props.ma
index c72798ba0f5689c5aa74edf9272b6d7d0f1e02ab..8cdfff89e6ed437e334d194d521ecacce2931bb4 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/sn3/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/spare.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/spare.ma
new file mode 100644 (file)
index 0000000..5954560
--- /dev/null
+++ b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/spare.ma
@@ -0,0 +1,20 @@
+(**************************************************************************)
+(*       ___                                                              *)
+(*      ||M||                                                             *)
+(*      ||A||       A project by Andrea Asperti                           *)
+(*      ||T||                                                             *)
+(*      ||I||       Developers:                                           *)
+(*      ||T||         The HELM team.                                      *)
+(*      ||A||         http://helm.cs.unibo.it                             *)
+(*      \   /                                                             *)
+(*       \ /        This file is distributed under the terms of the       *)
+(*        v         GNU General Public License Version 2                  *)
+(*                                                                        *)
+(**************************************************************************)
+
+(* This file was automatically generated: do not edit *********************)
+
+set "baseuri" "cic:/matita/LAMBDA-TYPES/LambdaDelta-1/spare".
+
+include "theory.ma".
+

diff --git a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/dec.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/dec.ma
index 77c87f905a7722052af54a7a2fb41dfe707c013b..cfa2bbe3ffd2dca7b41024d499f02fa57d172e8e 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/dec.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/defs.ma
index c16d69744d0f04b0bdee52de97d2c3a73a3364aa..c675bc6abafd647bccd0fe28650f1960392c430b 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/fwd.ma
index 622fbc20d9b97a09f90e3dd1bef19a36bb84e12b..5a8baf190c0e3b544ecc58f309ace409c8db8fe4 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/props.ma
index 8d403390100de98a77ed243258701fe9e191ac3c..87dac12957c0f40aadddf5baa3859816a1129b73 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/subst0.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/subst0.ma
index 8e1e4e5b998f623faefba4e242773723296dad86..9b9c0bb542f3ff207e44ffd31228f6641b0bb17d 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/subst0.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/tlt.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/tlt.ma
index 0a09531230619ac8a65535cb7b3b89c3c0b14c2d..37b74c00cb0adc6020dbbb4cd26730d14a747476 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst0/tlt.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/defs.ma
index 49102e3e03c411be16620500c9fcaeda2b27e061..304adc590d4cc876976d23d8bf0e0512a4df8783 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/fwd.ma
index a861ca4ae2e9282b68d6271bd40bd7ac0a88b4ba..3170860979030c1e9ae5e04353a1eaafc574b974 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/props.ma
index 525424b43be631b9546b256e8510e4e9b6eb1bb4..a933775b75a7746ae28797a18549a09a03208840 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/subst1.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/subst1.ma
index 0c54f9156941b24fa6b046a7dacc519098790706..dc20f3ff3607efca80b116d34575919e14e27a11 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/subst1/subst1.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/defs.ma
index 84f1a28ca1bb29e3914d49c3f21e72574bd61e05..0a1853deddb8aacd592bf21266977a3e5932baa5 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/props.ma
index 5cf65f2f3dfc5273a86525d0593bc3bff6276f82..9baf6cb96971bc84ebdfeb23bf57448a9b3a8620 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau0/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/cnt.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/cnt.ma
index 9dccd4da0576a8c07e31b66d6bf30246ba8d3070..845ea8933207f8d388779c8c6b5a8fd165443fae 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/cnt.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/defs.ma
index c5eeb0138604099a5245589a59f4eba495eb0a99..09a531fbca73c0a706ef7451a15f2a716949cf3b 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/props.ma
index 2ea9bd7f8966d65b26f66f71d9361d7eb9f2b6de..30ee3158c1bfcd962c928f15fa3a5d8b74e4652f 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tau1/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma
index 60888280b0e80bfa7bc0a8728196c8ad4f02d89f..d5ec1f6a2feeee3068cf318592e1c74d628e40fa 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/theory.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/defs.ma
index ab7e3258b4f40444a9f3acc62cfa192d37fa8642..ad412abf32d19bfa0c8e66c126d5417c3f89b1d7 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/props.ma
index 5a91e56b89ee3270f479a19c6f6515fff5ad437a..9f37ad2b444048d420f3e5fb2b9316f35033a4fa 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlist/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/defs.ma
index 7245a89ff4f4127cb2d799e01f9a35b5d6d7aa64..f5acb3e27c4f042dabca7c705c196e483e12b6e2 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/props.ma
index 6b0e8005aaf7d01d8ca649dc4627c3c1f5a62734..c2dacafde7414af1abc969d330bb483a140a72c8 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/tlt/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity.ma
index a4ca54272fc6d17cb4c3595d316f9aa9dd1f6f86..9db7a645c7890992bd9ca89abefd0a54840d8e3c 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity_props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity_props.ma
index 098a32c0b2a6e88bdd0a7d7b39b470b745c0bc64..c42884171696cdf7c666873469d6973dece0af52 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/arity_props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/dec.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/dec.ma
index e46c2bacf8bc985d12bff16d9857c188d6978566..4a8ed6c735f2d0166986ca46a3ece20cdee2db6d 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/dec.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/defs.ma
index 457d1d09b115e10d4badae5e4685fbba9dcdd774..8ddb60c91189fa3eaf38618fda9baae4f5f32096 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fsubst0.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fsubst0.ma
index 3a7c41e39c39fcad6b85b4a1f700819ddc250aa6..4bc299e430afce87d6c4ec55d297b69229a02cc1 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fsubst0.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fwd.ma
index a3ee2cbf0116e0478ab505d5963054677e465c10..3e9846516a7ccb064d0fb62cf83fe5572eaecb72 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3.ma
index 55a2457a94968b804d012833727fbfb85df6203d..99eb3bc229c2e64ea6255646d67f81965139627f 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3_props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3_props.ma
index f429f69d513a22765e69a36203c4b2f196b278cb..6cf0c095a55aa7652d81d89a689773899d2ff72b 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/pr3_props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/props.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/props.ma
index d7615f70fe0ffbae1d53001a5b861ca4b249f929..053b5d67714f8f3c9c2d9ff6ba316dd048573960 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/props.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/subst1.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/subst1.ma
index 094ce7ecb3e0c78d315c2c94ee017e11c2b7c9b1..7a91362cc2deb2a1c3e3326886d470439acae0b3 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/subst1.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/tau0.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/tau0.ma
index ff9b2da36e0f7a4e578c755d7bd15b1687bcb4be..8bc71a82e15b4f3ec4281b61dbefc68106c744ca 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/ty3/tau0.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/defs.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/defs.ma
index 5cdec7d553656b2723926e0384d46774db6d0a0a..dff8bb8ccc2e9625a7b909a9d24c2e5866905dc1 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/defs.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/fwd.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/fwd.ma
index 25d8c29005c272062335aed9ed28e51120609405..359d385443a3eed661d489555edfaff8b6325dc2 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/fwd.ma
+++ b/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/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/getl.ma b/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/getl.ma
index 5b3d7b50539e7a9cd801877a2d98d724015e2d83..f52805131efee209f30c1c59a42782812eda8dd4 100644 (file)
--- a/matita/contribs/LAMBDA-TYPES/Level-1/LambdaDelta/wcpr0/getl.ma
+++ b/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".