X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_1.html;h=f77d73e314bc83def8d6c85745d95ef031965845;hb=f1b5681cc8b74b016c7287d901564547fa70cdbd;hp=61e02fdb8cce09a53fb1631c75fc7321d26390cb;hpb=e866d78af74246133f5a14cb711a62af39308dee;p=helm.git diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html index 61e02fdb8..f77d73e31 100644 --- a/helm/www/lambdadelta/ground_1.html +++ b/helm/www/lambdadelta/ground_1.html @@ -1,12 +1,296 @@ -\lambda\delta home page
[\lambda\delta home]
cic:/BOLOGNA/lambdadelta/ground_1/ (background for λδ version 1)
[Spacer]

homenewsspecification

documentationimplementation
forewordmilestonesversion 2(background - core - applications)
version 2helenaOpen Symbolic Notation (OSN)
citationsvisibilityversion 1(background - core)(static HELM directory)version 1library(static LDDL directory)
Summary of the Specification [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)
+
+ [Spacer] +
+
+
+
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ 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 [butterfly] +
+
Here is a numerical account of the specification's contents and its timeline. -
categoryobjects




sizesfiles10characters15063nodes14881
propositionstheorems0lemmas50total50
conceptsdeclared24defined4total28
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
categoryobjects +
+ 		+
+ 		+
+ 		+
+ 		+
+
sizesfiles10characters15063nodes14881
propositionstheorems0lemmas50total50
conceptsdeclared24defined4total28
+
+ + +
Logical Structure of the Specification [butterfly]
This table reports the specification's components and their planes. -
componentplanefiles


multiple relocationbg_plist


extensions to the librarybg_hintsbg_blt

generated logical decomposablesbg_typesbg_props

preamblebg_requirebg_rewritebg_tacticsbg_subst
[Spacer]

[Valid XHTML 1.1][Valid CSS level 2][Generated from XML via XSL][PNG used here][Viewable with any browser]

Last update: Thu, 09 Mar 2017 13:38:17 +0100
+ + +
Logical Structure of the Specification [butterfly] +
+
This table reports the specification's components and their planes. +
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
componentplanefiles +
+ 		+
+ 		+
+
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 +
+
+
+ [Spacer] +
+
+
+
+
+ + [Valid XHTML 1.1] + + + [Valid CSS level 2] + + + [Generated from XML via XSL] + + + [PNG used here] + + + [Viewable with any browser] + +
+
+
+
+
Last update: Thu, 02 Nov 2017 18:35:40 +0100
+ +