Skip to content

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

Add (un)set_then_multiple_subgoals to control the behavior of THEN

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

Annotations

2 warnings

OCaml 4.14, Camlp5 8.03 (make switch)

succeeded Oct 7, 2024 in 9m 55s