X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=7c29c44f7f0a0e63288be87fa6a72133a1e187cd;hb=9f2641c25e16428f12ecffae06ef1867df736022;hp=1a9b9352fa83780b81626d8fec8e83f4412b44ee;hpb=138e01310a2334cd531819122c794d72d14c6e8c;p=helm.git
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 1a9b9352f..7c29c44f7 100644
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -132,29 +132,29 @@
sizes |
files |
- 92 |
+ 95 |
characters |
- 125262 |
+ 131558 |
nodes |
- 265747 |
+ 304213 |
propositions |
theorems |
- 33 |
+ 37 |
lemmas |
- 588 |
+ 626 |
total |
- 621 |
+ 663 |
concepts |
declared |
- 60 |
+ 62 |
defined |
- 63 |
+ 66 |
total |
- 123 |
+ 128 |
@@ -264,6 +264,7 @@
rtc ( â©?,?,?,?⪠) ( ðð ) ( ðð ) ( ðð ) |
rtc_isrc ( ððâ¦?, ?⦠) |
rtc_shift ( â? ) |
+ rtc_max ( ? ⨠? ) |
rtc_plus ( ? + ? ) |
@@ -301,9 +302,6 @@
|
|
-
-
- |
|
@@ -821,6 +819,6 @@
- Last update: Fri, 22 Jul 2016 19:34:08 +0200
+ Last update: Tue, 26 Jul 2016 21:07:05 +0200