Re: [isabelle] Min shadowing



Le 10/03/2018 à 15:15, Manuel Eberl a écrit :
You can do a "hide_const (open) Approximation.Min".

Thanks!





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.