Ist pf2.sty von Leslie Lamport noch verfügbar?

Question

Ich möchte Leslie Lamports pf2.sty für die Erstellung mathematischer Beweise verwenden, aber der Link aufLamports Seitescheint kaputt zu sein. Kann ich die Datei irgendwie bekommen?

Answer 1

Obwohl die Überschrift sagtpf.styIch denke, das ist pf2 aus dem Cache von Google

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