Fix to make type Set in type parameters explicit in term abbreviations#204

fblanqui merged 7 commits into

Deducteam:mainDeducteam/hol2dk:mainfrom

navimath:myfixnavimath/hol2dk:myfixCopy head branch name to clipboard