Skip to content

Add (un)set_then_multiple_subgoals to control the behavior of THEN #81

Add (un)set_then_multiple_subgoals to control the behavior of THEN

Add (un)set_then_multiple_subgoals to control the behavior of THEN #81

Annotations

2 warnings

OCaml 4.14, Camlp5 8.03 (make switch)

succeeded Oct 5, 2024 in 9m 29s