:: deftheorem defines Gauss_INT_Module GAUSSINT:def 6 :
Gauss_INT_Module = ModuleStr(# G_INT_SET,g_int_add,(In (0,G_INT_SET)),Sc_Mult #);