Leslie Lamport の pf2.sty はまだ入手可能ですか?

Question

数学的な証明をレイアウトするためにレスリー・ランポートのpf2.styを使いたいのですが、ランポートのページ壊れているようです。ファイルを取得する方法はありますか?

Answer 1

見出しにはこう書いてあるが料金これはGoogleのキャッシュからのpf2だと思います

http://webcache.googleusercontent.com/search?q=cache:GmTvkzjvNK0J:research.microsoft.com/en-us/um/people/lamport/latex/pf2.sty