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.05, Camlp5 7.10

succeeded Oct 7, 2024 in 5m 44s