Fixes in rule forall_inst: using simultaneous subst.; adding comments about... (!22) · Merge requests · veriT / Alethe

Mallku Soldevila requested to merge rules/forall_inst into master May 12, 2025

Fixes in rule forall_inst: using simultaneous subst.; adding comments about simultaneous subst. in section 1

Fixes in rule forall_inst: using simultaneous subst.; adding comments about...