Lines Matching defs:thm