X-VM-v5-Data: ([nil nil nil nil nil nil nil t nil] [nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil nil]) Date: Wed, 21 Mar 90 19:22:00 GMT Reply-To: LaTeX-L Mailing list Sender: LaTeX-L Mailing list From: "Chris Rowley - Open University UK (R01/Maths)" Subject: "proof" environments To: Rainer Schoepf Status: R X-Status: X-Keywords: X-UID: 58 Frank's Final remark: > I think that Proofs are not a special class of the theorem-like > meta class. In my opinion to many thinks have to be handled > differently so that I would like to add a proof (theorem??) environment > with its own logical concepts (like \proofsteps etc.). I came to the same conclusion a few years ago when setting up some some styles for the now sadly disbanded Department of Maths and Statistics of CSIRO (Australia). "proof" environments have a whole range of different features: for example, a proof is often interrupted, or may contain Lemmas (not a style I like, but a common one). (Also, there is the old problem of getting the end-of-proof symbol to always appear automatically in the right place!) chris