X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=82ab3aa4fd88f337b7b5ba7426e4ecc6a02475c4;hb=b70bb756f5e2a48ddcfd27f7605b730348fd3354;hp=dc3c8a1948cef25ea6366117aa16a5449c970841;hpb=ed87c2c166f9f5db2729772e55154d7858dae4d6;p=helm.git
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index dc3c8a194..82ab3aa4f 100644
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.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
@@ -132,29 +132,29 @@
|
sizes |
files |
- 94 |
+ 95 |
characters |
- 129419 |
+ 131558 |
nodes |
- 291484 |
+ 304213 |
propositions |
theorems |
- 35 |
+ 37 |
lemmas |
- 610 |
+ 626 |
total |
- 645 |
+ 663 |
concepts |
declared |
- 61 |
+ 62 |
defined |
- 64 |
+ 66 |
total |
- 125 |
+ 128 |
@@ -264,6 +264,7 @@
rtc ( â©?,?,?,?⪠) ( ðð ) ( ðð ) ( ðð ) |
rtc_isrc ( ððâ¦?, ?⦠) |
rtc_shift ( â? ) |
+ rtc_max ( ? ⨠? ) |
rtc_plus ( ? + ? ) |
@@ -301,9 +302,6 @@
|
|
-
-
- |
|
@@ -821,6 +819,6 @@
- Last update: Thu, 21 Jul 2016 16:50:49 +0200
+ Last update: Thu, 15 Sep 2016 17:33:01 +0200