Searched defs:thmfunc (Results 1 – 1 of 1) sorted by relevance
32 .global thmfunc symbol34 thmfunc: label