Buenas!
En este ejercicio se pide que apliquemos tacticals para resolver los problemas en una linea. En el 7.1 con el uso de ; no tuve problemas. En el caso 7.2 y 7.3, se me genera el mismo incoveniente. El mismo es que tengo dos subgoals, las cuales necesitan pasos distintos para poder probarse, por lo que aplicar simplemente ; no funcionaria. En una de las subgoals necesito hacer left y en la otra right. Si yo quisiera hacer left || right, esto no funcionaria porque en ambas subgoals no falla hacer left.
Luego los pasos son identicos en ambas, por lo que no deberia haber problemas. Como puedo hacer para resolver este incoveniente de en una linea hacer pruebas distintas segun la subgoal?
Obviamente que al hacerlo en muchas lineas no hay ningun tipo de problemas.
Segun vi en internet las tacticals son (;, or, all, repeat y try), quizas me este faltando alguna.
Saludos, Pablo Palou.