\lambda\delta home page

X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_1.html;h=61e02fdb8cce09a53fb1631c75fc7321d26390cb;hb=e866d78af74246133f5a14cb711a62af39308dee;hp=f7e32d0ff0c0c470fc1b635dec37f05c60176fa7;hpb=65383ff6ec2236b0a61310b872ea4cd5fcc26fb7;p=helm.git diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index f7e32d0ff..61e02fdb8 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -1,296 +1,12 @@ - - - - - - - - \lambda\delta home page - - - - - - -

- - $[\lambda\delta home]$ - -

cic:/BOLOGNA/lambdadelta/ground_1/ (background for Î»Î´ version 1)

- $\lambda\delta rainbow rule$ -

-
-

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

- home -	- news -	- specification -	- -	- -	- documentation -	- implementation -	- -
- foreword -	- milestones -	- version 2 -	(background - core - applications)	- -	- version 2 -	- helena -	- Open Symbolic Notation (OSN) -
- citations -	- visibility -	- version 1 -	(background - core)	(static HELM directory)	- version 1 -	- library -	(static LDDL directory)

Summary of the Specification $\lambda\delta butterfly$ -

Here is a numerical account of the specification's contents +\lambda\delta home page

$[\lambda\delta home]$

cic:/BOLOGNA/lambdadelta/ground_1/ (background for Î»Î´ version 1)

$\lambda\delta rainbow rule$

home	news	specification			documentation	implementation
foreword	milestones	version 2	(background - core - applications)		version 2	helena	Open Symbolic Notation (OSN)
citations	visibility	version 1	(background - core)	(static HELM directory)	version 1	library	(static LDDL directory)

Summary of the Specification $\lambda\delta butterfly$

Here is a numerical account of the specification's contents and its timeline. -

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

category	objects	- -	- -	- -	- -	- -
sizes	files	10	characters	15063	nodes	14881
propositions	theorems	0	lemmas	50	total	50
concepts	declared	24	defined	4	total	28

- January 2015. +

category	objects
sizes	files	10	characters	15063	nodes	14881
propositions	theorems	0	lemmas	50	total	50
concepts	declared	24	defined	4	total	28

January 2015. Update with backports from the abandoned specification of Î»Î´ version 2. -

- May 2008. +

May 2008. Specification is concluded. -

- May 2004. +

May 2004. Specification starts. -

Logical Structure of the Specification $\lambda\delta butterfly$ -

This table reports the specification's components and their planes. -

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

component	plane	files	- -	- -	- -
multiple relocation	-	- bg_plist -	- -	- -	- -
extensions to the library	-	- bg_hints -	- bg_blt -	- -	- -
generated logical decomposables	-	- bg_types -	- bg_props -	- -	- -
preamble	-	- bg_require -	- bg_rewrite -	- bg_tactics -	- bg_subst -

- $\lambda\delta rainbow rule$ -

-
-

- -

- - -

- - -

- - -

- - -

- -

-
-

Last update: Wed, 08 Mar 2017 22:36:30 +0100

- - +

Logical Structure of the Specification $\lambda\delta butterfly$

This table reports the specification's components and their planes. +

component	plane	files
multiple relocation		bg_plist
extensions to the library		bg_hints	bg_blt
generated logical decomposables		bg_types	bg_props
preamble		bg_require	bg_rewrite	bg_tactics	bg_subst

$\lambda\delta rainbow rule$

Last update: Thu, 09 Mar 2017 13:38:17 +0100