+
+
+
-
+
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=08790c17e402ea0ac5ad0eb86123d3670eaff9b7;hb=658c000ee2ea2da04cf29efc0acdaf16364fbf5e;hp=7f5ada5fd4507a58f1d1793ed569cd74cba67166;hpb=68b5af5ca8f1e7f98485b92692b3dcb1ae240d19;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 7f5ada5fd..08790c17e 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -23,7 +23,7 @@
natural numbers with infinity | +natural numbers with infinity | ++ | ynat ( â ) | +ynat_pred ( â«°? ) | +ynat_succ ( ⫯? ) | +ynat_le ( ? ⤠? ) | +ynat_lt ( ? < ? ) | +ynat_minus ( ? - ? ) | +ynat_plus ( ? + ? ) | +ynat_max | +ynat_min | +||||||||
extensions to the library | - | ynat ( â ) | -ynat_pred ( â«°? ) | -ynat_succ ( ⫯? ) | -ynat_le ( ? ⤠? ) | -ynat_lt ( ? < ? ) | -ynat_minus ( ? - ? ) | -ynat_plus ( ? + ? ) | -ynat_max | -ynat_min | +star | +lstar | +bool ( â» ) ( â ) | +arith ( ?^? ) | +list ( â ) ( ? @ ? ) ( {?,?} @ ? ) ( ? @@ ? ) ( |?| ) | +
+ + |
+
+ + |
+
+ + |
+
+ + |
extensions to the library | +generated logical decomposables | - | star | -lstar | -bool ( â» ) ( â ) | -arith ( ?^? ) | -list ( â ) ( ? @ ? ) ( {?,?} @ ? ) ( ? @@ ? ) ( |?| ) | +xoa ( ââ ) ( â¨â¨ ) ( â§â§ ) | +xoa_props ( ⥠) ( ⤠) | +
+ + |
+
+ + |
+
+ + |
|
@@ -232,10 +269,14 @@
||||||
generated logical decomposables | +- | xoa ( ââ ) ( â¨â¨ ) ( â§â§ ) | -xoa_props ( ⥠) ( ⤠) | +
+ + |
+
+ + |
|
@@ -261,8 +302,7 @@