HERMIT.Dictionary.Local.Bind

Rewrites on Binding Groups

externals

nonrecToRecR

recToNonrecR