Commands per session
session    command     count
---------  ----------  -----
Core       by              3
Core       lemma           3
Core       end             2
Core       have            2
Core       theory          2
Core       .               1
Core       also            1
Core       definition      1
Core       finally         1
Core       proof           1
Core       qed             1
Core       show            1
Core       sorry           1
Core       text            1
Core       using           1
Core-Apps  by              1
Core-Apps  end             1
Core-Apps  fun             1
Core-Apps  lemma           1
Core-Apps  theory          1
