X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=f1ea20bbf44ced3c4ae6ba905aa8a1b349dd1003;hb=3adf21d15f533c901cb82ee8d459d93ac8cf77a5;hp=0fe96093fc99a00e6e6d795f8fd0acc1a38cc539;hpb=2002da6bcdbf12203a87a7d9630d738f67ede68c;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 0fe96093f..f1ea20bbf 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -144,29 +144,29 @@
| sizes |
files |
- 181 |
+ 214 |
characters |
- 192119 |
+ 202530 |
nodes |
- 993162 |
+ 1010247 |
| propositions |
theorems |
48 |
lemmas |
- 642 |
+ 675 |
total |
- 690 |
+ 723 |
| concepts |
declared |
26 |
defined |
- 44 |
+ 46 |
total |
- 70 |
+ 72 |
@@ -362,6 +362,14 @@
+
+ | rt-computation |
+ uncounted context-sensitive rt-transition |
+ cpxs ( â¦?,?⦠⢠? â¬*[?] ? ) |
+
+
+ |
+
| rt-transition |
parallel qrst-rtransition |
@@ -403,6 +411,16 @@
uncounted context-sensitive rt-transition |
+ cnx ( â¦?,?⦠⢠â¬[?,?] ðâ¦?⦠) |
+ cnx_simple cnx_drops |
+
+
+
+
+ |
+
+
+ |
lfpx ( â¦?,?⦠⢠â¬[?,?] ? ) |
lfpx_length lfpx_drops lfpx_fqup lfpx_frees lfpx_aaa |
@@ -426,7 +444,7 @@
| static typing |
- restricted ref. for atomic arity assignment |
+ atomic arity assignment |
lsuba ( ? ⢠? â«â ? ) |
lsuba_drops lsuba_lsubr lsuba_aaa lsuba_lsuba |
@@ -434,7 +452,9 @@
|
- atomic arity assignment |
+
+
+ |
aaa ( â¦?,?⦠⢠? â ? ) |
aaa_drops aaa_fqus aaa_lfdeq aaa_aaa |
@@ -442,7 +462,7 @@
|
- degree-based equivalence for closures on referred entries |
+ degree-based equivalence on referred entries |
ffdeq ( â¦?,?,?⦠â¡[?,?] â¦?,?,?⦠) |
ffdeq_fqup ffdeq_ffdeq |
@@ -450,7 +470,9 @@
|
- degree-based equivalence for local environments on referred entries |
+
+
+ |
lfdeq ( ? â¡[?,?,?] ? ) |
lfdeq_length lfdeq_fqup lfdeq_lfdeq |
@@ -466,7 +488,7 @@
|
- restricted ref. for context-sensitive free variables |
+ context-sensitive free variables |
lsubf ( â¦?,?⦠â«ð
* �,?⦠) |
lsubf_frees |
@@ -474,7 +496,9 @@
|
- context-sensitive free variables |
+
+
+ |
frees ( ? ⢠ð
*�⦠⡠? ) |
frees_weight frees_drops frees_fqup frees_frees |
@@ -777,6 +801,6 @@
- Last update: Wed, 01 Feb 2017 20:52:58 +0100
+ Last update: Thu, 16 Feb 2017 12:23:40 +0100