1 (*:maxLineLen=78:*)
2
1 theory Tactic
3 theory Tactic
2 imports Base
4 imports Base
3 begin
5 begin
4
6
5 chapter \<open>Tactical reasoning\<close>
7 chapter \<open>Tactical reasoning\<close>