Isabelle 伊莎贝尔发展统计

我对Isabelle有一个很长的了解，我想知道有多少行是定义，多少行是语句，多少行是注释

Isabelle中是否包含任何此类工具（例如coqwc for coq）？我已经阅读了Isabelle系统手册，但找不到任何相关内容