CicNotationPt.Theorem (flav, n, freshen_term t, ty_opt)
| CicNotationPt.Record (params, n, ty, fields) ->
CicNotationPt.Record (freshen_name_ty params, n, freshen_term ty,
CicNotationPt.Theorem (flav, n, freshen_term t, ty_opt)
| CicNotationPt.Record (params, n, ty, fields) ->
CicNotationPt.Record (freshen_name_ty params, n, freshen_term ty,