X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fapps_2.html;h=9dd54887329b11c4bfb9040d155b672e15dd45c3;hb=e8ed2cbff6d25964309a3d3e63568feecb70a666;hp=07f0e3cc907317f12059884e46dfcc1fee5c4419;hpb=8fa70fc9a05fa9e9d37ff0c33b532908174d1c22;p=helm.git
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html
index 07f0e3cc9..9dd548873 100644
--- a/helm/www/lambdadelta/apps_2.html
+++ b/helm/www/lambdadelta/apps_2.html
@@ -46,10 +46,10 @@
Here is a numerical acount of the specification's contents
and its timeline.
- Nodes are counted according to the "intrinsinc complexity measure"
- [F. Guidi: "Procedural Representation of CIC Proof Terms"
+ Nodes are counted according to the "intrinsinc complexity measure"
+ [F. Guidi: "Procedural Representation of CIC Proof Terms"
Journal of Automated Reasoning 44(1-2), Springer (February 2010),
- pp. 53-78].
+ pp. 53-78].
@@ -191,6 +191,6 @@
- Last update: Sat, 27 Jul 2013 18:25:25 +0200
+ Last update: Sun, 27 Oct 2013 22:23:38 +0100