- source web pages for lambdadelta_1

[helm.git] / helm / coq-contribs / lambdadelta_1 / web / basic_1_sum.tbl

diff --git a/helm/coq-contribs/lambdadelta_1/web/basic_1_sum.tbl b/helm/coq-contribs/lambdadelta_1/web/basic_1_sum.tbl
new file mode 100644 (file)
index 0000000..c87e8d0
--- /dev/null
+++ b/helm/coq-contribs/lambdadelta_1/web/basic_1_sum.tbl
@@ -0,0 +1,28 @@
+name "basic_1_sum"
+
+table {
+   class "gray"   [ "category"
+      [ "objects" * ]
+   ]
+   class "cyan"   [ "sizes"
+      [ "files"      "120" ]
+      [ "characters" "198089" ]
+      [ "nodes"      "1449099" ]
+   ]
+   class "green"  [ "propositions"
+      [ "theorems" "81" ]
+      [ "lemmas"   "618" ]
+      [ "total"    "699" ]
+   ]
+   class "yellow" [ "concepts"
+      [ "declared" "39" ]
+      [ "defined"  "47" ]
+      [ "total"    "86" ]
+   ]
+}
+
+class "capitalize italic" { 0 }
+
+class "italic"            { 1 } { 3 } { 5 }
+
+class "right italic"      { 2 } { 4 } { 6 }