helm/coq-contribs/lambdadelta_1/web/basic_1_sum.tbl

   1 name "basic_1_sum"
   2
   3 table {
   4    class "gray"  [ "category"
   5       [ "objects" * ]
   6    ]
   7    class "water" [ "sizes"
   8       [ "files"      "120" ]
   9       [ "characters" "198089" ]
  10       [ "nodes"      "1449099" ]
  11    ]
  12    class "green"  [ "propositions"
  13       [ "theorems" "81" ]
  14       [ "lemmas"   "618" ]
  15       [ "total"    "699" ]
  16    ]
  17    class "grass"  [ "concepts"
  18       [ "declared" "39" ]
  19       [ "defined"  "47" ]
  20       [ "total"    "86" ]
  21    ]
  22 }
  23
  24 class "capitalize italic" { 0 }
  25
  26 class "italic"            { 1 } { 3 } { 5 }
  27
  28 class "right italic"      { 2 } { 4 } { 6 }