X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=684cefd20c2e23e8a2ff6017100462e015697272;hb=5e5f9111df82a2f84f2b560ab59392cf0e0906c0;hp=e23bd8eddc540d4f33bb179b0f9efe600fb0d3ea;hpb=e866d78af74246133f5a14cb711a62af39308dee;p=helm.git diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index e23bd8edd..684cefd20 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -1,26 +1,283 @@ -\lambda\delta home page
[\lambda\delta home]
cic:/matita/lambdadelta/apps_2/ (applications of λδ version 2)
[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)
Contents of the Specification [butterfly]
This specification comprises a collection of checked + + + + + + + + \lambda\delta home page + + + + + + +
+ + [\lambda\delta home] + +
+
cic:/matita/lambdadelta/apps_2/ (applications of λδ version 2)
+
+ [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)
+
+
Contents of the Specification [butterfly] +
+
This specification comprises a collection of checked applications of λδ version 2. In particular it contains the components below. -
+ + +
Summary of the Specification [butterfly]
Here is a numerical account of the specification's contents + + +
Summary of the Specification [butterfly] +
+
Here is a numerical account of the specification's contents and its timeline. -
categoryobjects




sizesfiles1characters377nodes775
propositionstheorems2lemmas1total3
conceptsdeclared0defined3total3
+
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
categoryobjects +
+ 		+
+ 		+
+ 		+
+ 		+
+
sizesfiles1characters377nodes779
propositionstheorems2lemmas1total3
conceptsdeclared0defined3total3
+
+ + + +
Logical Structure of the Specification [butterfly]
This table reports the specification's components and their planes. -
componentplanefiles
functionalreduction and type machinertmrtm_step ( ? ⇨ ? )

relocationlift ( ↑[?,?] ? )
examplesterms with special featuresex_sta_ldec ex_cpr_omega ex_fpbg_refl ex_snv_eta
[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 +
+
functionalreduction and type machinertmrtm_step ( ? ⇨ ? )
+
+ 		relocationlift ( ↑[?,?] ? ) +
+
examplesterms with special featuresex_sta_ldec ex_cpr_omega ex_fpbg_refl ex_snv_eta +
+
+
+
+ [Spacer] +
+
+
+
+
+ + [Valid XHTML 1.1] + + + [Valid CSS level 2] + + + [Generated from XML via XSL] + + + [PNG used here] + + + [Viewable with any browser] + +
+
+
+
+
Last update: Sat, 01 Apr 2017 16:50:39 +0200
+ +