From dc0d67104965bcf4f4671b6598e1be084990813e Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Fri, 2 Feb 2007 10:58:31 +0000 Subject: [PATCH] The baseuris changed --- matita/contribs/LAMBDA-TYPES/Unified/SUB/Context/defs.ma | 2 +- matita/contribs/LAMBDA-TYPES/Unified/SUB/Inc/defs.ma | 2 +- matita/contribs/LAMBDA-TYPES/Unified/SUB/Lift/defs.ma | 2 +- matita/contribs/LAMBDA-TYPES/Unified/SUB/Switch/defs.ma | 2 +- matita/contribs/LAMBDA-TYPES/Unified/SUB/Term/defs.ma | 2 +- matita/contribs/LAMBDA-TYPES/Unified/SUB/preamble.ma | 2 +- 6 files changed, 6 insertions(+), 6 deletions(-) diff --git a/matita/contribs/LAMBDA-TYPES/Unified/SUB/Context/defs.ma b/matita/contribs/LAMBDA-TYPES/Unified/SUB/Context/defs.ma index 39859fc0e..22763dd4f 100644 --- a/matita/contribs/LAMBDA-TYPES/Unified/SUB/Context/defs.ma +++ b/matita/contribs/LAMBDA-TYPES/Unified/SUB/Context/defs.ma @@ -12,7 +12,7 @@ (* *) (**************************************************************************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Unified/SUB/Context/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/Unified-Sub/Context/defs". (* FLAT CONTEXTS - Naming policy: diff --git a/matita/contribs/LAMBDA-TYPES/Unified/SUB/Inc/defs.ma b/matita/contribs/LAMBDA-TYPES/Unified/SUB/Inc/defs.ma index 266e3c7b7..2cc467a30 100644 --- a/matita/contribs/LAMBDA-TYPES/Unified/SUB/Inc/defs.ma +++ b/matita/contribs/LAMBDA-TYPES/Unified/SUB/Inc/defs.ma @@ -12,7 +12,7 @@ (* *) (**************************************************************************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Unified/SUB/Inc/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/Unified-Sub/Inc/defs". (* DISPLACEMENT INCREMENT RELATION *) diff --git a/matita/contribs/LAMBDA-TYPES/Unified/SUB/Lift/defs.ma b/matita/contribs/LAMBDA-TYPES/Unified/SUB/Lift/defs.ma index dc12e8cc8..0806d35e6 100644 --- a/matita/contribs/LAMBDA-TYPES/Unified/SUB/Lift/defs.ma +++ b/matita/contribs/LAMBDA-TYPES/Unified/SUB/Lift/defs.ma @@ -12,7 +12,7 @@ (* *) (**************************************************************************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Unified/SUB/Lift/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/Unified-Sub/Lift/defs". (* LIFT RELATION - Usage: invoke with positive polarity diff --git a/matita/contribs/LAMBDA-TYPES/Unified/SUB/Switch/defs.ma b/matita/contribs/LAMBDA-TYPES/Unified/SUB/Switch/defs.ma index 7a435021f..02470bbda 100644 --- a/matita/contribs/LAMBDA-TYPES/Unified/SUB/Switch/defs.ma +++ b/matita/contribs/LAMBDA-TYPES/Unified/SUB/Switch/defs.ma @@ -12,7 +12,7 @@ (* *) (**************************************************************************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Unified/SUB/Switch/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/Unified-Sub/Switch/defs". (* POLARITY SWITCH RELATION *) diff --git a/matita/contribs/LAMBDA-TYPES/Unified/SUB/Term/defs.ma b/matita/contribs/LAMBDA-TYPES/Unified/SUB/Term/defs.ma index d1559a40a..3d39b277d 100644 --- a/matita/contribs/LAMBDA-TYPES/Unified/SUB/Term/defs.ma +++ b/matita/contribs/LAMBDA-TYPES/Unified/SUB/Term/defs.ma @@ -12,7 +12,7 @@ (* *) (**************************************************************************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Unified/SUB/Term/defs". +set "baseuri" "cic:/matita/LAMBDA-TYPES/Unified-Sub/Term/defs". (* POLARIZED TERMS - Naming policy: diff --git a/matita/contribs/LAMBDA-TYPES/Unified/SUB/preamble.ma b/matita/contribs/LAMBDA-TYPES/Unified/SUB/preamble.ma index 4a348cc67..21afc1d99 100644 --- a/matita/contribs/LAMBDA-TYPES/Unified/SUB/preamble.ma +++ b/matita/contribs/LAMBDA-TYPES/Unified/SUB/preamble.ma @@ -14,7 +14,7 @@ (* Project started Tue Aug 22, 2006 ***************************************) -set "baseuri" "cic:/matita/LAMBDA-TYPES/Unified/SUB/preamble". +set "baseuri" "cic:/matita/LAMBDA-TYPES/Unified-Sub/preamble". (* PREAMBLE *) -- 2.39.2