Mike Gerwitz cc057e8178 design/tpl (tpl.sty)[newtheoremwithlabel]: Use spref for *pref		2021-05-26 10:32:50 -04:00
..
tpl	design/tpl (tpl.sty)[newtheoremwithlabel]: Use spref for *pref	2021-05-26 10:32:50 -04:00