Sessions by lines
session    theories  lines  code  doc  doc%  defs  proofs  mean proof  median  p90  max  unfinished
---------  --------  -----  ----  ---  ----  ----  ------  ----------  ------  ---  ---  ----------
Core              2     27    19    1   3.7     1       3         3.0     1.0    7    7           1
Core-Apps         1      7     4    0   0.0     1       1         0.0     0.0    0    0           0
TOTAL             3     34    23    1   2.9     2       4         2.2     1.0    7    7           1

Theories by lines
session    theory  lines  code  doc  blank  defs  proofs  mean proof  max proof  long lines  unfinished  path
---------  ------  -----  ----  ---  -----  ----  ------  ----------  ---------  ----------  ----------  ---------------
Core       Big        19    14    1      4     0       2         4.0          7           0           1  Core/Big.thy
Core       Basics      8     5    0      3     1       1         1.0          1           0           0  Core/Basics.thy
Core-Apps  App         7     4    0      3     1       1         0.0          0           0           0  Apps/App.thy
