X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_1.html;h=ccc5ff8013f94b27833db4466fe665c214b8cadc;hb=21cdb9ffad749e518ca273641a180697c53ef4da;hp=6c56317afbb42366ac67fc99e83d21f0e66d3cc7;hpb=ed87c2c166f9f5db2729772e55154d7858dae4d6;p=helm.git
diff --git a/helm/www/lambdadelta/ground_1.html b/helm/www/lambdadelta/ground_1.html
index 6c56317af..ccc5ff801 100644
--- a/helm/www/lambdadelta/ground_1.html
+++ b/helm/www/lambdadelta/ground_1.html
@@ -31,7 +31,7 @@
- home
+ home
|
news
@@ -57,7 +57,7 @@
|
- foreword
+ foreword
|
milestones
@@ -76,12 +76,12 @@
helena
|
-
+ Open Symbolic Notation (OSN)
|
- citations
+ citations
|
visibility
@@ -130,13 +130,13 @@
|
- sizes |
- files |
- 10 |
- characters |
- 15063 |
- nodes |
- 14881 |
+ sizes |
+ files |
+ 10 |
+ characters |
+ 15063 |
+ nodes |
+ 14881 |
propositions |
@@ -148,13 +148,13 @@
50 |
- concepts |
- declared |
- 24 |
- defined |
- 4 |
- total |
- 28 |
+ concepts |
+ declared |
+ 24 |
+ defined |
+ 4 |
+ total |
+ 28 |
@@ -291,6 +291,6 @@
- Last update: Thu, 21 Jul 2016 16:50:49 +0200
+ Last update: Fri, 24 Nov 2017 21:00:01 +0100