X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=4fb7ca3042dac77076ca9a106af119f97a90ad74;hb=9b1b59a049935f5382ed7def91b807bbf9453894;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..4fb7ca304 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
@@ -112,7 +112,7 @@
|
category |
- objects |
+ units |
|
@@ -130,31 +130,31 @@
- sizes |
- files |
- 94 |
- characters |
- 129419 |
- nodes |
- 291484 |
+ sizes |
+ characters (files) |
+ 145725 (104) |
+ nodes (objects) |
+ 337452 (911) |
+ intrinsic loss factor |
+ 2.3 |
propositions |
theorems |
- 35 |
+ 42 |
lemmas |
- 610 |
+ 693 |
total |
- 645 |
+ 735 |
- concepts |
- declared |
- 61 |
- defined |
- 64 |
- total |
- 125 |
+ concepts |
+ declared |
+ 66 |
+ defined |
+ 73 |
+ total |
+ 139 |
@@ -254,6 +254,15 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -264,6 +273,7 @@
rtc ( â©?,?,?,?⪠) ( ðð ) ( ðð ) ( ðð ) |
rtc_isrc ( ððâ¦?, ?⦠) |
rtc_shift ( â? ) |
+ rtc_max ( ? ⨠? ) |
rtc_plus ( ? + ? ) |
@@ -304,6 +314,12 @@
|
|
+
+
+ |
+
+
+ |
|
@@ -314,15 +330,18 @@
rtmap |
rtmap_eq ( ? â ? ) |
rtmap_pushs ( â*[?]? ) |
+ rtmap_nexts ( ⫯*[?]? ) |
rtmap_tl ( ⫱? ) |
rtmap_tls ( ⫱*[?]? ) |
rtmap_isid ( ðâ¦?⦠) |
rtmap_id |
+ rtmap_isdiv ( ðâ¦?⦠) |
rtmap_fcla ( ðâ¦?⦠⡠? ) |
rtmap_isfin ( ð
�⦠) |
rtmap_isuni ( ðâ¦?⦠) |
rtmap_uni ( ðâ´?âµ ) |
rtmap_sle ( ? â ? ) |
+ rtmap_sdj ( ? ⥠? ) |
rtmap_sand ( ? â ? â¡ ? ) |
rtmap_sor ( ? â ? â¡ ? ) |
rtmap_at ( @�,?⦠⡠? ) |
@@ -342,6 +361,7 @@
|
|
|
+ |
nstream_isid |
nstream_id ( ðð ) |
|
@@ -349,9 +369,11 @@
|
|
|
- nstream_sand |
|
|
+ |
+ nstream_sor |
+ |
nstream_istot ( ?@â´?âµ ) |
nstream_after ( ? â ? ) |
nstream_coafter ( ? ~â ? ) |
@@ -406,6 +428,15 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -452,6 +483,15 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -502,6 +542,15 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -560,6 +609,15 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -618,6 +676,15 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -629,7 +696,8 @@
|
- star |
+ relations ( ? â ? ) |
+ star |
lstar |
@@ -676,6 +744,12 @@
|
|
+
+
+ |
+
+
+ |
|
@@ -730,6 +804,15 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -788,6 +871,15 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -821,6 +913,6 @@
- Last update: Thu, 21 Jul 2016 16:50:49 +0200
+ Last update: Fri, 24 Nov 2017 21:00:01 +0100