From 5b42070b6644e184a762ac3c4e4a0f3cf5532b8c Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 25 Oct 2011 12:27:34 +0000 Subject: [PATCH] -- some renaming in basic_2 --- helm/www/lambda_delta/ld_basic_2.html | 2 +- helm/www/lambda_delta/web/home/ld_basic_2.tbl | 10 +++++----- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/helm/www/lambda_delta/ld_basic_2.html b/helm/www/lambda_delta/ld_basic_2.html index 58087e46d..6c2afdca7 100644 --- a/helm/www/lambda_delta/ld_basic_2.html +++ b/helm/www/lambda_delta/ld_basic_2.html @@ -16,7 +16,7 @@
[lambda_delta home]
cic:/matita/lambda_delta/Basic_2/ (λδ version 2)
[Spacer]
Logical structure of the contribution
The source files are grouped in planes and components according to the following table.
-
componentplanefiles


native typing
nty


conversioncontext-sensitivecpcs


computationstrongly normalizingcsn



context-sensitivecprs


reductioncontext-sensitivelcpr




cprcpr_liftcpr_tpsscpr_cpr

context-freeltprltpr_drop



tprtpr_lifttpr_tpsstpr_tpr
static typingatomic arity ass.aaaaaa_liftaaa_aaa

static type ass.stysty_liftsty_sty
unfoldpartialltpssltpss_dropltpss_tpsltpss_ltpss


tpsstpss_lifttpss_tpsstpss_ltps
substitutionparallelltpsltps_dropltps_tpsltps_ltps


tpstps_lifttps_tps

local env. droppingdropdrop_drop


term relocationliftlift_lift

grammarlocal env. ref. for substitutionlsubslsubs_lsubs


term hom.thomthom_thom


closurescl_shiftcl_weight


internal syntaxlenvlenv_weightlenv_length


termterm_weightterm_simple


item



external syntaxaarity



parameterssh


+
componentplanefiles


native typing
nty


conversioncontext-sensitivecpcs


computationstrongly normalizingcsn



context-sensitivecprs


reductioncontext-sensitivelcpr




cprcpr_liftcpr_ltprcpr_cpr

context-freeltprltpr_ldrop



tprtpr_lifttpr_tpsstpr_tpr
static typingatomic arity ass.aaaaaa_liftaaa_aaa

static type ass.stysty_liftsty_sty
unfoldpartialltpssltpss_ldropltpss_tpsltpss_ltpss


tpsstpss_lifttpss_tpsstpss_ltps
substitutionparallelltpsltps_ldropltps_tpsltps_ltps


tpstps_lifttps_tps

local env. droppingldropldrop_ldrop


term relocationliftlift_lift

grammarlocal env. ref. for substitutionlsubslsubs_lsubs


term hom.thomthom_thom


closurescl_shiftcl_weight


internal syntaxlenvlenv_weightlenv_length


termterm_weightterm_simple


item



external syntaxaarity



parameterssh


Physical structure of the contribution
The source files are grouped in directories, one for each component.
[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]
diff --git a/helm/www/lambda_delta/web/home/ld_basic_2.tbl b/helm/www/lambda_delta/web/home/ld_basic_2.tbl index 8480c70de..b50dcdb40 100644 --- a/helm/www/lambda_delta/web/home/ld_basic_2.tbl +++ b/helm/www/lambda_delta/web/home/ld_basic_2.tbl @@ -41,11 +41,11 @@ table { [ { "reduction" * } { [ { "context-sensitive" * } { [ "lcpr" * ] - [ "cpr" "cpr_lift" "cpr_tpss" "cpr_cpr" * ] + [ "cpr" "cpr_lift" "cpr_ltpr" "cpr_cpr" * ] } ] [ { "context-free" * } { - [ "ltpr" "ltpr_drop" * ] + [ "ltpr" "ltpr_ldrop" * ] [ "tpr" "tpr_lift" "tpr_tpss" "tpr_tpr" * ] } ] @@ -66,7 +66,7 @@ table { class "yellow" [ { "unfold" * } { [ { "partial" * } { - [ "ltpss" "ltpss_drop" "ltpss_tps" "ltpss_ltpss" * ] + [ "ltpss" "ltpss_ldrop" "ltpss_tps" "ltpss_ltpss" * ] [ "tpss" "tpss_lift" "tpss_tpss" "tpss_ltps" * ] } ] @@ -75,12 +75,12 @@ table { class "orange" [ { "substitution" * } { [ { "parallel" * } { - [ "ltps" "ltps_drop" "ltps_tps" "ltps_ltps" * ] + [ "ltps" "ltps_ldrop" "ltps_tps" "ltps_ltps" * ] [ "tps" "tps_lift" "tps_tps" * ] } ] [ { "local env. dropping" * } { - [ "drop" "drop_drop" * ] + [ "ldrop" "ldrop_ldrop" * ] } ] [ { "term relocation" * } { -- 2.39.2