2015 October 11.
@@ -211,96 +217,186 @@
- multiple relocation |
+ natural numbers with infinity |
|
- nstream |
- nstream_at ( ?@�ⵠ) ( @�,?⦠⡠? ) |
+ ynat ( â ) |
+ ynat_pred ( â«°? ) |
+ ynat_succ ( ⫯? ) |
+ ynat_le ( ? ⤠? ) |
+ ynat_lt ( ? < ? ) |
+ ynat_plus ( ? + ? ) |
|
-
+ |
|
-
+ |
+
+ multiple relocation |
+ |
+ nstream |
+ nstream_lift ( â? ) ( ⫯? ) |
+ nstream_at ( ?@�ⵠ) ( @�,?⦠⡠? ) |
+ nstream_after ( ? â ? ) ( ? â ? â¡ ? ) |
+ nstream_id ( ðð ) ( ðâ¦?⦠) |
+
|
-
+ |
|
-
+ |
|
-
+ |
+
+
|
+
+
+ |
+ trace ( �⥠) |
+ trace_at ( @�,?⦠⡠? ) |
+ trace_after ( ? â ? â¡ ? ) |
+ trace_isid ( ðâ¦?⦠) |
+ trace_isun ( ðâ¦?⦠) |
+ trace_sle ( ? â ? ) |
+ trace_sor ( ? â ? â¡ ? ) |
+ trace_snot ( â ? ) |
-
+ |
+
+ |
+
|
-
+ | mr2 |
+ mr2_at ( @�,?⦠⡠? ) |
+ mr2_plus ( ? + ? ) |
+ mr2_minus ( ? â ? â¡ ? ) |
+
+
+ |
+
+
+ |
+
+
+ |
+
|
- trace ( �⥠) |
- trace_at ( @�,?⦠⡠? ) |
- trace_after ( ? â ? â¡ ? ) |
- trace_isid ( ðâ¦?⦠) |
- trace_isun ( ðâ¦?⦠) |
- trace_sle ( ? â ? ) |
- trace_sor ( ? â ? â¡ ? ) |
- trace_snot ( â ? ) |
-
+ | extensions to the library |
+ |
+ stream ( ? @ ? ) ( ? â ? ) |
+ stream_hdtl |
+
|
-
+ |
|
- mr2 |
- mr2_at ( @�,?⦠⡠? ) |
- mr2_plus ( ? + ? ) |
- mr2_minus ( ? â ? â¡ ? ) |
-
+ |
|
-
+ |
|
-
+ |
|
-
+ |
|
- natural numbers with infinity |
- |
- ynat ( â ) |
- ynat_pred ( â«°? ) |
- ynat_succ ( ⫯? ) |
- ynat_le ( ? ⤠? ) |
- ynat_lt ( ? < ? ) |
- ynat_plus ( ? + ? ) |
-
+ |
|
-
+ |
+
+ |
+ list ( â ) ( ? @ ? ) ( |?| ) |
+ list2 ( â ) ( {?,?} @ ? ) ( ? @@ ? ) ( |?| ) |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
|
- extensions to the library |
- |
+
+
+ |
+
+
+ |
+ bool ( â» ) ( â ) |
+ arith ( ?^? ) ( ⫯? ) ( ⫰? ) |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+
+
+ |
+
+
+ |
star |
lstar |
- bool ( â» ) ( â ) |
- arith ( ?^? ) ( ⫯? ) ( ⫰? ) |
- list ( â ) ( ? @ ? ) ( |?| ) |
- list2 ( â ) ( {?,?} @ ? ) ( ? @@ ? ) ( |?| ) |
- stream ( ? @ ? ) ( ? â ? ) |
- stream_hdtl |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
+
+
+ |
generated logical decomposables |
@@ -383,6 +479,6 @@
- Last update: Sat, 23 Jan 2016 00:45:18 +0100
+ Last update: Sun, 07 Feb 2016 18:51:17 +0100