X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcoq-contribs%2Flambdadelta_1%2Fweb%2Fground_1_sum.tbl;fp=helm%2Fcoq-contribs%2Flambdadelta_1%2Fweb%2Fground_1_sum.tbl;h=88451619ca6c265117dafeb04fb772736ca233a1;hb=b4b18a8f2c3f33fe49edef3bc8068332edf299e2;hp=0000000000000000000000000000000000000000;hpb=503426723b9fc786c69dc988d38726997ecb809a;p=helm.git

diff --git a/helm/coq-contribs/lambdadelta_1/web/ground_1_sum.tbl b/helm/coq-contribs/lambdadelta_1/web/ground_1_sum.tbl
new file mode 100644
index 000000000..88451619c
--- /dev/null
+++ b/helm/coq-contribs/lambdadelta_1/web/ground_1_sum.tbl
@@ -0,0 +1,28 @@
+name "ground_1_sum"
+
+table {
+   class "gray"   [ "category"
+      [ "objects" * ]
+   ]
+   class "cyan"   [ "sizes"
+      [ "files"      "10" ]
+      [ "characters" "15063" ]
+      [ "nodes"      "14881" ]
+   ]
+   class "green"  [ "propositions"
+      [ "theorems" "0" ]
+      [ "lemmas"   "50" ]
+      [ "total"    "50" ]
+   ]
+   class "yellow" [ "concepts"
+      [ "declared" "24" ]
+      [ "defined"  "4" ]
+      [ "total"    "28" ]
+   ]
+}
+
+class "capitalize italic" { 0 }
+
+class "italic"            { 1 } { 3 } { 5 }
+
+class "right italic"      { 2 } { 4 } { 6 }