Skip to content

Ltac1 and Ltac2: don't normalize evars for open_constr:() #2401

Ltac1 and Ltac2: don't normalize evars for open_constr:()

Ltac1 and Ltac2: don't normalize evars for open_constr:() #2401

The logs for this run have expired and are no longer available.