X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fwww%2Flambdadelta%2Fground_2.html;h=125f3385ef2da54cbc8eaea70c48aca95d6fd258;hb=bb1a03359dfaea6031592d28b9bfb15d797c44e5;hp=9b08ac7df1cc0e405c4e586ea3b660bc22c3929e;hpb=bda6d964ce9729a694e3fd3ead386ca9f2ca14e3;p=helm.git diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 9b08ac7df..125f3385e 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -35,50 +35,50 @@
category | -objects | -+ | category | +objects | +
|
- + |
|
- + |
|
- + |
|
- + |
|
sizes | -files | -29 | -characters | -46886 | -nodes | -61467 | +sizes | +files | +31 | +characters | +46730 | +nodes | +62380 |
propositions | -theorems | -2 | -lemmas | -183 | -total | -185 | +propositions | +theorems | +2 | +lemmas | +187 | +total | +189 |
concepts | -declared | -40 | -defined | -25 | -total | -65 | +concepts | +declared | +40 | +defined | +25 | +total | +65 |
plane | -files | -+ | plane | +files | +
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
natural numbers with infinity | -ynat ( â ) | -ynat_pred ( â«°? ) | -ynat_succ ( ⫯? ) | -ynat_le ( ?â¤? ) | -ynat_lt ( ?<? ) | -ynat_minus ( ? - ? ) | -ynat_plus ( ? + ? ) | -ynat_max | -ynat_min | +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 | -arith.ma ( ?^? ) | -+ | extensions to the library | +arith.ma ( ?^? ) | +
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
generated logical decomposables | -xoa ( ââ ) ( â¨â¨ ) ( â§â§ ) | -xoa_props ( ⥠) ( ⤠) | -+ | generated logical decomposables | +xoa ( ââ ) ( â¨â¨ ) ( â§â§ ) | +xoa_props ( ⥠) ( ⤠) | +
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|
- + |
|