X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=8a22ab925ea6424271c18a604faef968a40e1379;hb=5a81feec7b8c07a43e96d772431e06bad177ed8c;hp=1a9b9352fa83780b81626d8fec8e83f4412b44ee;hpb=7c3dc0455368fe74858226ab6cf3c19f68d0e2a7;p=helm.git
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 1a9b9352f..8a22ab925 100644
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -132,29 +132,29 @@
| sizes |
files |
- 92 |
+ 102 |
characters |
- 125262 |
+ 143239 |
nodes |
- 265747 |
+ 332314 |
| propositions |
theorems |
- 33 |
+ 42 |
lemmas |
- 588 |
+ 679 |
total |
- 621 |
+ 721 |
| concepts |
declared |
- 60 |
+ 65 |
defined |
- 63 |
+ 70 |
total |
- 123 |
+ 135 |
@@ -254,6 +254,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -264,6 +270,7 @@
rtc ( â©?,?,?,?⪠) ( ðð ) ( ðð ) ( ðð ) |
rtc_isrc ( ððâ¦?, ?⦠) |
rtc_shift ( â? ) |
+ rtc_max ( ? ⨠? ) |
rtc_plus ( ? + ? ) |
@@ -304,6 +311,9 @@
|
|
+
+
+ |
|
@@ -314,10 +324,12 @@
rtmap |
rtmap_eq ( ? â ? ) |
rtmap_pushs ( â*[?]? ) |
+ rtmap_nexts ( ⫯*[?]? ) |
rtmap_tl ( ⫱? ) |
rtmap_tls ( ⫱*[?]? ) |
rtmap_isid ( ðâ¦?⦠) |
rtmap_id |
+ rtmap_isdiv ( ðâ¦?⦠) |
rtmap_fcla ( ðâ¦?⦠⡠? ) |
rtmap_isfin ( ð
�⦠) |
rtmap_isuni ( ðâ¦?⦠) |
@@ -342,6 +354,7 @@
|
|
|
+ |
nstream_isid |
nstream_id ( ðð ) |
|
@@ -349,9 +362,10 @@
|
|
|
- nstream_sand |
|
|
+ nstream_sor |
+ |
nstream_istot ( ?@â´?âµ ) |
nstream_after ( ? â ? ) |
nstream_coafter ( ? ~â ? ) |
@@ -406,6 +420,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -452,6 +472,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -502,6 +528,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -560,6 +592,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -618,6 +656,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -629,7 +673,8 @@
|
- star |
+ relations |
+ star |
lstar |
@@ -676,6 +721,9 @@
|
|
+
+
+ |
|
@@ -730,6 +778,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -788,6 +842,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -821,6 +881,6 @@
- Last update: Fri, 22 Jul 2016 19:34:08 +0200
+ Last update: Mon, 23 Oct 2017 19:19:03 +0200