A Convenient Notion of Compact Set for Generalized Functions. Issue 1 (3rd April 2017)