X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbasic_2.html;h=b2fec951153ebe0d0e552f62b6b675da56a1264e;hb=d48d412796a295256c048256c8f7a843e3406980;hp=a8588e72b3544cac7806720f47680aa026114394;hpb=73445ceb9d6f8a37784d8d2c73dabe800c6e0926;p=helm.git diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index a8588e72b..b2fec9511 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -25,8 +25,7 @@ - -
Summary of the Specification
+
Summary of the Specification
Here is a numerical acount of the specification's contents and its timeline. Nodes are counted according to the "intrinsinc complexity measure" @@ -38,54 +37,56 @@ - - - + + - - - - - - - - - - - + + + + + + + - - - - - - - + + + + + + + - - - - - - - + + + + + + +
categoryobjects + categoryobjects
+
+
+
+
sizesfiles362characters431125nodes1829252sizesfiles358characters430798nodes1858367
propositionstheorems123lemmas1300total1423propositionstheorems130lemmas1283total1413
conceptsdeclared54defined84total138conceptsdeclared54defined89total143
+ +
Stage "B"
+ +
Stage "A": "Weakening the Applicability Condition"
+