X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=4fb7ca3042dac77076ca9a106af119f97a90ad74;hb=9b1b59a049935f5382ed7def91b807bbf9453894;hp=6ce0cb08e0cf0d5ba5d87561d45692aa7bffb59f;hpb=aeb003ab531d9b9faffd46c47204b564009063cf;p=helm.git
diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html
index 6ce0cb08e..4fb7ca304 100644
--- a/helm/www/lambdadelta/ground_2.html
+++ b/helm/www/lambdadelta/ground_2.html
@@ -112,7 +112,7 @@
| category |
- objects |
+ units |
|
@@ -130,31 +130,31 @@
- | sizes |
- files |
- 102 |
- characters |
- 143239 |
- nodes |
- 332314 |
+ sizes |
+ characters (files) |
+ 145725 (104) |
+ nodes (objects) |
+ 337452 (911) |
+ intrinsic loss factor |
+ 2.3 |
| propositions |
theorems |
42 |
lemmas |
- 679 |
+ 693 |
total |
- 721 |
+ 735 |
- | concepts |
- declared |
- 65 |
- defined |
- 70 |
- total |
- 135 |
+ concepts |
+ declared |
+ 66 |
+ defined |
+ 73 |
+ total |
+ 139 |
@@ -260,6 +260,9 @@
|
+
+
+ |
|
@@ -314,6 +317,9 @@
|
+
+
+ |
|
@@ -335,6 +341,7 @@
rtmap_isuni ( ðâ¦?⦠) |
rtmap_uni ( ðâ´?âµ ) |
rtmap_sle ( ? â ? ) |
+ rtmap_sdj ( ? ⥠? ) |
rtmap_sand ( ? â ? â¡ ? ) |
rtmap_sor ( ? â ? â¡ ? ) |
rtmap_at ( @�,?⦠⡠? ) |
@@ -364,6 +371,7 @@
|
|
|
+ |
nstream_sor |
|
nstream_istot ( ?@â´?âµ ) |
@@ -426,6 +434,9 @@
|
+
+
+ |
|
@@ -478,6 +489,9 @@
|
+
+
+ |
|
@@ -534,6 +548,9 @@
|
+
+
+ |
|
@@ -598,6 +615,9 @@
|
+
+
+ |
|
@@ -662,6 +682,9 @@
|
+
+
+ |
|
@@ -673,7 +696,7 @@
|
- relations |
+ relations ( ? â ? ) |
star |
lstar |
@@ -724,6 +747,9 @@
|
|
+
+
+ |
|
@@ -784,6 +810,9 @@
|
+
+
+ |
|
@@ -848,6 +877,9 @@
|
+
+
+ |
|
@@ -881,6 +913,6 @@
- Last update: Wed, 25 Oct 2017 21:44:34 +0200
+ Last update: Fri, 24 Nov 2017 21:00:01 +0100