>>796
> 例えば\usepackage{amsthm}とか\usepackage{braket}とかで使うファイルのコードを見たいときは
> macにamsthm.styとかbraket.styといった名前で入ってるんでしょうか

そうだよ。それが検索に掛からないってことは、やっぱりTeXLive以前の問題だな。