Summary of the Specification [spacer]

Summary of the Specification $\lambda\delta butterfly$

Here is a numerical account of the specification's contents and its timeline. @@ -132,33 +132,39 @@ sizes files - 59 + 79 characters - 86572 + 96548 nodes - 195099 + 207514 propositions theorems - 17 + 23 lemmas - 395 + 497 total - 412 + 520 concepts declared - 48 + 53 defined - 43 + 50 total - 91 + 103

+ 2016 March 4. + Platform-independent multiple relocation (rtmap). +

2016 January 20. @@ -174,7 +180,7 @@
- 2013 November 27. - Natural numbers with infinity. + Natural numbers with infinity (ynat).
-
Logical Structure of the Specification +
Logical Structure of the Specification $\lambda\delta butterfly$

This table reports the specification's components and their planes.
@@ -212,6 +218,30 @@
+ +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+
@@ -228,28 +258,54 @@
- +
- - - multiple relocation - - nstream - nstream_lift ( â? ) ( â«¯? ) - nstream_at ( ?@â´?âµ ) ( @â¦?,?â¦ â¡ ? ) - nstream_after ( ? â ? ) ( ? â ? â¡ ? ) - nstream_id ( ðð ) ( ðâ¦?â¦ ) - +
- +
- + +
+ + +
+ + +
+ + +
+ + +
+ +
+ + multiple relocation + + rtmap + rtmap_eq ( ? â ? ) + rtmap_tl ( â«±? ) + rtmap_tls ( â«±*[?]? ) + rtmap_isid ( ðâ¦?â¦ ) + rtmap_id + rtmap_fcla ( ðâ¦?â¦ â¡ ? ) + rtmap_isfin ( ðâ¦?â¦ ) + rtmap_isuni ( ðâ¦?â¦ ) + rtmap_uni ( ðâ´?âµ ) + rtmap_sle ( ? â ? ) + rtmap_sand ( ? â ? â¡ ? ) + rtmap_sor ( ? â ? â¡ ? ) + rtmap_at ( @â¦?,?â¦ â¡ ? ) + rtmap_istot ( ðâ¦?â¦ ) + rtmap_after ( ? â ? â¡ ? ) +
@@ -257,14 +313,22 @@
- trace ( â¥?â¥ ) - trace_at ( @â¦?,?â¦ â¡ ? ) - trace_after ( ? â ? â¡ ? ) - trace_isid ( ðâ¦?â¦ ) - trace_isun ( ðâ¦?â¦ ) - trace_sle ( ? â ? ) - trace_sor ( ? â ? â¡ ? ) - trace_snot ( â ? ) + nstream ( â? ) ( â«¯? ) + nstream_eq + + + nstream_isid + nstream_id ( ðð ) + + + + + + nstream_sand + + + nstream_istot ( ?@â´?âµ ) + nstream_after ( ? â ? ) @@ -286,6 +350,30 @@
+ +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+
@@ -293,8 +381,28 @@ extensions to the library - stream ( ? @ ? ) ( ? â ? ) - stream_hdtl + stream ( ? @ ? ) + stream_eq ( ? â ? ) + stream_hdtl ( â? ) + stream_tls ( â*[?]? ) + +
+ + +
+ + +
+ + +
+ + +
+ + +
+
@@ -338,6 +446,30 @@
+ +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+
@@ -350,7 +482,31 @@
bool ( â» ) ( â ) - arith ( ?^? ) ( â«¯? ) ( â«°? ) + arith ( ?^? ) ( â«¯? ) ( â«°? ) ( ? â¨ ? ) ( ? â§ ? ) + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+
@@ -394,6 +550,30 @@
+ +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+
@@ -418,6 +598,30 @@
+ +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+
@@ -446,6 +650,30 @@
+ +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+ + +
+
@@ -454,7 +682,7 @@

- + $\lambda\delta rainbow rule$

@@ -479,6 +707,6 @@

-
Last update: Sun, 07 Feb 2016 18:51:17 +0100
+
Last update: Fri, 08 Apr 2016 22:51:19 +0200