X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=f8b26841b9a867cf97c08d3f755b289ee313772e;hb=93188fa3cfab893427b17b8b2084719cd43fac9c;hp=975779b5b3e248488261feb01fb14fd96ab2c183;hpb=cc072ef7058246bbc0deaf3e44a75b0e5977df65;p=helm.git
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 975779b5b..f8b26841b 100644
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -72,11 +72,11 @@
sizes |
files |
- 5 |
+ 5 |
characters |
- 5613 |
+ 5790 |
nodes |
- |
+ 9846 |
propositions |
@@ -138,24 +138,32 @@
- MLTT1 |
- |
- genv_primitive |
- judgement |
+ MLTT1 |
+ |
+ genv_primitive |
+ judgement |
- functional |
- reduction and type machine |
- rtm |
- rtm_step ( ? ⨠? ) |
+ functional |
+ reduction and type machine |
+ rtm |
+ rtm_step ( ? ⨠? ) |
-
+ |
+
+ |
+ unfold |
+ lift ( â[?,?] ? ) |
+ subst ( [?â?] ? ) |
+
+
+ examples |
+ |
+ |
+
|
- unfold |
- lift ( â[?,?] ? ) |
- subst ( [?â?] ? ) |
@@ -191,6 +199,6 @@
- Last update: Mon, 11 Mar 2013 13:47:08 +0100
+ Last update: Thu, 16 May 2013 16:37:26 +0200