X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=c6e8e1e908b4bf7776f9c71b575794a3cfd83d0a;hb=6d49221c1fefe6a2c5bddb3db24d3698414a700f;hp=333dc9c286673a1e0e93d5f1d79f77c182e3dc75;hpb=d64caa33426da23e1ab75eca50f227c40e95a24b;p=helm.git
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 333dc9c28..c6e8e1e90 100644
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -130,31 +130,31 @@
- | sizes |
- files |
- 95 |
- characters |
- 135595 |
- nodes |
- 314345 |
+ sizes |
+ files |
+ 102 |
+ characters |
+ 143239 |
+ nodes |
+ 332273 |
| propositions |
theorems |
- 38 |
+ 42 |
lemmas |
- 647 |
+ 679 |
total |
- 685 |
+ 721 |
- | concepts |
- declared |
- 63 |
- defined |
- 67 |
- total |
- 130 |
+ concepts |
+ declared |
+ 65 |
+ defined |
+ 70 |
+ total |
+ 135 |
@@ -254,6 +254,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -302,6 +308,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -312,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 ( ðâ¦?⦠) |
@@ -340,6 +354,7 @@
|
|
|
+ |
nstream_isid |
nstream_id ( ðð ) |
|
@@ -347,9 +362,10 @@
|
|
|
- nstream_sand |
|
|
+ nstream_sor |
+ |
nstream_istot ( ?@â´?âµ ) |
nstream_after ( ? â ? ) |
nstream_coafter ( ? ~â ? ) |
@@ -404,6 +420,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -450,6 +472,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -500,6 +528,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -558,6 +592,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -616,6 +656,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -627,7 +673,8 @@
|
- star |
+ relations |
+ star |
lstar |
@@ -674,6 +721,9 @@
|
|
+
+
+ |
|
@@ -728,6 +778,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -786,6 +842,12 @@
|
+
+
+ |
+
+
+ |
|
@@ -819,6 +881,6 @@
- Last update: Tue, 24 Jan 2017 18:22:21 +0100
+ Last update: Mon, 13 Nov 2017 18:11:08 +0100