amsart.sty @article gobbletwo@article@article AMS-LaTeX document style `AMSART' (1.1b, 31-JUL-1991) =amstex.sty namedefds@11pt namedefds@12pt namedefds@twosideempty namedefds@twocolumn namedefds@openbib namedefds@fleqn @article namedefds@titlepage options @twocolumn@openbib @fleqn @article @titlepage @bgroup @font @article @article addresstoks @article = = = = =amsart1ptsize.sty ssect @article @article = = =float =float =theorem.sty opargbegintheoremythm @indent @article namedefpf*#1@Proof

@plus6@ trivlist @ @ @ ##1##1 [Proof.]Proof@ endpf*=@    @ $\aftergroup$

height.6em
@article @--@-@- @true @article by -by -by - by true in by -< .5 true in true in by -1 true in true in by -by -by -by -by -<.5 true in true in by -1 true in twosidetrue mparswitchtrue mkbothgobbletwo gobblegobble gobble oddfootemptyevenfootemptyevenhead 21.3 ßSSı=Ij=JæÆœŒ øØåÅłŁ@ $\skipmath$@oddhead 21.3 ßSSı=Ij=JæÆœŒ øØåÅłŁ@ $\skipmath$@;'' ;'';''