Skip to content

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

Mallku Soldevilarequested to merge
rules/forall_inst into master

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

Merge request reports