blob: 6a739c364a0b3cfef7773a43be5d5a5a95803dbb (
plain)
1
2
3
4
5
6
|
Goal True.
Fail timeout 2 ((timeout 1 repeat cut True) || (repeat cut True)).
Fail Timeout 2 ((timeout 1 repeat cut True) || (repeat cut True)).
Fail timeout 1 ((timeout 2 repeat cut True) || idtac "fail").
auto.
Qed.
|
