You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In p144, "...the composition tactical t1; t2 runs the first tactic t1, then runs the second tactic on all goals produced by the first tactic t2.", I believe the last "t2" should be "t1".
In p144, "...the composition tactical t1; t2 runs the first tactic t1, then runs the second tactic on all goals produced by the first tactic t2.", I believe the last "t2" should be "t1".