X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=1da837bc4bb5bd273c3af997571ea0dfc54e1e81;hb=0249daf422b1cdc8e5f481f285beeea3a76d4aca;hp=8ac36a2da470a0fc250d50f19eff7f7c3f3df5a1;hpb=b8e20d61b2e76f7a36f05b8803e60cc3388c0882;p=helm.git
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html
index 8ac36a2da..1da837bc4 100644
--- a/helm/www/lambdadelta/basic_2.html
+++ b/helm/www/lambdadelta/basic_2.html
@@ -144,20 +144,20 @@
sizes |
files |
- 228 |
+ 229 |
characters |
- 239693 |
+ 240969 |
nodes |
- 1177508 |
+ 1182308 |
propositions |
theorems |
61 |
lemmas |
- 801 |
+ 805 |
total |
- 862 |
+ 866 |
concepts |
@@ -180,6 +180,13 @@
Stage "A2": "Extending the Applicability Condition"
+
+ -
+ 2017 March 16.
+ First behavioral component reconstructed:
+ rt_transition.
+
+
-
2017 February 19.
@@ -201,8 +208,8 @@
-
2016 April 16.
- Grammatical component reconstructed:
- grammar, relocation, s_transition, s_computation, static
+ Syntactic component reconstructed:
+ syntax, relocation, s_transition, s_computation, static
(anniversary milestone).
@@ -428,7 +435,7 @@
t-bound context-sensitive rt-transition |
lfpr ( â¦?,?⦠⢠â¡[?,?] ? ) |
- lfpr_length lfpr_drops lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr |
+ lfpr_length lfpr_drops lfpr_fquq lfpr_fqup lfpr_frees lfpr_aaa lfpr_lfpx lfpr_lfpr |
@@ -883,6 +890,6 @@
- Last update: Thu, 16 Mar 2017 17:22:18 +0100
+ Last update: Thu, 16 Mar 2017 20:59:31 +0100
|