@@ -206,15 +218,49 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
|
- | multiple relocation |
+ natural numbers with infinity |
|
- nstream |
- nstream_at ( ?@�ⵠ) ( @�,?⦠⡠? ) |
+ ynat ( â ) |
+ ynat_pred ( â«°? ) |
+ ynat_succ ( ⫯? ) |
+ ynat_le ( ? ⤠? ) |
+ ynat_lt ( ? < ? ) |
+ ynat_plus ( ? + ? ) |
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -235,54 +281,85 @@
- |
+ | multiple relocation |
+ |
+ rtmap |
+ rtmap_eq ( ? â ? ) |
+ rtmap_tl ( ⫱? ) |
+ rtmap_tls ( ⫱*[?]? ) |
+ rtmap_isid ( ðâ¦?⦠) |
+ rtmap_id |
+ rtmap_fcla ( ðâ¦?⦠⡠? ) |
+ rtmap_isfin ( ð
�⦠) |
+ rtmap_isuni ( ðâ¦?⦠) |
+ rtmap_sle ( ? â ? ) |
+ rtmap_sand ( ? â ? â¡ ? ) |
+ rtmap_sor ( ? â ? â¡ ? ) |
+ rtmap_at ( @�,?⦠⡠? ) |
+ rtmap_istot ( ðâ¦?⦠) |
+ rtmap_after ( ? â ? â¡ ? ) |
+
+
+
+
+ |
+
+
+ |
+ nstream ( â? ) ( ⫯? ) |
+ nstream_eq |
+ |
+ |
+ nstream_isid |
+ nstream_id ( ðð ) |
+ |
+ |
+ |
+ |
+ nstream_sand |
+ |
+ |
+ nstream_istot ( ?@â´?âµ ) |
+ nstream_after ( ? â ? ) |
+
+
+
|
-
+ |
|
- trace ( �⥠) |
- trace_at ( @�,?⦠⡠? ) |
- trace_after ( ? â ? â¡ ? ) |
- trace_isid ( ðâ¦?⦠) |
- trace_isun ( ðâ¦?⦠) |
- trace_sle ( ? â ? ) |
- trace_sor ( ? â ? â¡ ? ) |
- trace_snot ( â ? ) |
-
-
- |
+ | mr2 |
+ mr2_at ( @�,?⦠⡠? ) |
+ mr2_plus ( ? + ? ) |
+ mr2_minus ( ? â ? â¡ ? ) |
+
|
-
+ |
|
- mr2 |
- mr2_at ( @�,?⦠⡠? ) |
- mr2_plus ( ? + ? ) |
- mr2_minus ( ? â ? â¡ ? ) |
-
+ |
|
-
+ |
|
-
+ |
|
-
+ |
+
+ |
+
+
+ |
+
+
+ |
+
|
-
-
- | natural numbers with infinity |
- |
- ynat ( â ) |
- ynat_pred ( â«°? ) |
- ynat_succ ( ⫯? ) |
- ynat_le ( ? ⤠? ) |
- ynat_lt ( ? < ? ) |
- ynat_plus ( ? + ? ) |
|
@@ -293,14 +370,190 @@
| extensions to the library |
|
+ stream ( ? @ ? ) |
+ stream_eq ( ? â ? ) |
+ stream_hdtl ( â? ) |
+ stream_tls ( â*[?]? ) |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
+ list ( â ) ( ? @ ? ) ( |?| ) |
+ list2 ( â ) ( {?,?} @ ? ) ( ? @@ ? ) ( |?| ) |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
+ bool ( â» ) ( â ) |
+ arith ( ?^? ) ( ⫯? ) ( ⫰? ) ( ? ⨠? ) ( ? ⧠? ) |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
star |
lstar |
- bool ( â» ) ( â ) |
- arith ( ?^? ) ( ⫯? ) ( ⫰? ) |
- list ( â ) ( ? @ ? ) ( |?| ) |
- list2 ( â ) ( {?,?} @ ? ) ( ? @@ ? ) ( |?| ) |
- stream ( ? @ ? ) ( ? â ? ) |
- stream_hdtl |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
| generated logical decomposables |
@@ -322,6 +575,27 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -350,6 +624,27 @@
|
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
|
@@ -383,6 +678,6 @@
- Last update: Sat, 23 Jan 2016 00:45:18 +0100
+ Last update: Mon, 21 Mar 2016 20:38:12 +0100