]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/coq-contribs/lambdadelta_1/web/basic_1_sum.tbl
web site update
[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
deleted file mode 100644 (file)
index 717a460..0000000
+++ /dev/null
@@ -1,28 +0,0 @@
-name "basic_1_sum"
-
-table {
-   class "gray"  [ "category"
-      [ "objects" * ]
-   ]
-   class "water" [ "sizes"
-      [ "files"      "120" ]
-      [ "characters" "198089" ]
-      [ "nodes"      "1449099" ]
-   ]
-   class "green"  [ "propositions"
-      [ "theorems" "81" ]
-      [ "lemmas"   "618" ]
-      [ "total"    "699" ]
-   ]
-   class "grass"  [ "concepts"
-      [ "declared" "39" ]
-      [ "defined"  "47" ]
-      [ "total"    "86" ]
-   ]
-}
-
-class "capitalize italic" { 0 }
-
-class "italic"            { 1 } { 3 } { 5 }
-
-class "right italic"      { 2 } { 4 } { 6 }