X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=3779a6c0ff682942794c0fabbdbbcf1925b54137;hb=7adeb2882d9841c0ab5b357f1652bd42800e77fc;hp=d3356642f050bc44075b82138b897d81ed02fe6d;hpb=3167db4903eea2eddc60a91cfd922be3672ce077;p=helm.git diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index d3356642f..3779a6c0f 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -37,54 +37,56 @@ - - - + + - - - - - - - - - - - + + + + + + + - - - - - - - + + + + + + + - - - - - - - + + + + + + +
categoryobjects + categoryobjects
+
+
+
+
sizesfiles362characters431125nodes1829252sizesfiles359characters429628nodes1855731
propositionstheorems123lemmas1300total1423propositionstheorems127lemmas1276total1403
conceptsdeclared54defined84total138conceptsdeclared54defined85total139
+ +
Stage "B"
+ +
Stage "A": "Weakening the Applicability Condition"
+