X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=45e0d37352cb4ce90fcdec311d3a6e6505261c2e;hb=b70bb756f5e2a48ddcfd27f7605b730348fd3354;hp=b9ad223940e016584b9cd3e25b6bd4f7eb866f87;hpb=f2e989e7710ad99b76dc1b73315c00b8ba8fc40f;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index b9ad22394..45e0d3735 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -144,29 +144,29 @@
sizes |
files |
- 160 |
+ 166 |
characters |
- 140971 |
+ 157412 |
nodes |
- 733531 |
+ 818407 |
propositions |
theorems |
- 45 |
+ 47 |
lemmas |
- 518 |
+ 556 |
total |
- 563 |
+ 603 |
concepts |
declared |
23 |
defined |
- 38 |
+ 40 |
total |
- 61 |
+ 63 |
@@ -180,6 +180,12 @@
Stage "A2": "Extending the Applicability Condition"
+
+ -
+ 2016 September 15.
+ Confluence for context-sensitive parallel r-transition on terms.
+
+
-
2016 April 16.
@@ -359,6 +365,22 @@
rt-transition |
t-bound context-sensitive rt-transition |
+ lfpr ( â¦?,?⦠⢠â¡[?,?] ? ) |
+ lfpr_length lfpr_drops lfpr_fqup lfpr_lfpx lfpr_lfpr |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
cpr ( â¦?,?⦠⢠? â¡[?] ? ) |
cpr_drops |
@@ -841,6 +863,6 @@
- Last update: Tue, 13 Sep 2016 21:24:59 +0200
+ Last update: Thu, 15 Sep 2016 17:33:01 +0200
|