State main theorems, history section, mention various approaches, explicit local class field theory. RobHar (talk) 23:30, 26 November 2007 (UTC)