X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=c4e4b3cba0b3fdd9ed78ce370abbb2a62d3cda5c;hb=70dd167b801e43d70609205937f4c84f9eecc31c;hp=638a1dd8d5d2ef0cdba8b5a11e03cdd21ae618a5;hpb=0098ddc7269a3fc4a554cf386d2a234d61d53d44;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 638a1dd8d..c4e4b3cba 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -144,29 +144,29 @@
sizes |
files |
- 205 |
+ 210 |
characters |
- 201104 |
+ 207234 |
nodes |
- 954664 |
+ 980390 |
propositions |
theorems |
- 61 |
+ 62 |
lemmas |
- 706 |
+ 732 |
total |
- 767 |
+ 794 |
concepts |
declared |
31 |
defined |
- 74 |
+ 77 |
total |
- 105 |
+ 108 |
@@ -182,9 +182,10 @@
Stage "A2": "Extending the Applicability Condition"
-
- 2017 October 16.
+ 2017 October 17.
Exclusion binder in local environments.
- Ported components: syntax, relocation, s_transition, s_computation, static.
+ Syntactic component updated:
+ syntax, relocation, s_transition, s_computation, static, i_static.
@@ -390,6 +391,12 @@
+
+ iterated static typing |
+ iterated extension on referred entries |
+ tc_lfxs ( ? ⦻**[?,?] ? ) |
+ tc_lfxs_length tc_lfxs_drops tc_lfxs_fqup tc_lfxs_tc_lfxs |
+
static typing |
generic reducibility |
@@ -819,6 +826,6 @@
- Last update: Mon, 16 Oct 2017 23:36:57 +0200
+ Last update: Tue, 17 Oct 2017 17:26:54 +0200