********************************************************************************
* 
* PPMathsEgs: some mathematical case studies for ProofPower.
* 
* Use the make file maths_egs.mkf  to process the document files.
* For instructions on how to do this type:
* 
* 	make -f maths_egs.mkf
* 
* and you will be given some basic help on using the make file.
*
* Copyright (c) 2004 Lemma 1 Ltd.
* 
* This file is supplied under the GNU General Public Licence (GPL) version 2.
* 
* See the file LICENSE supplied with the ProofPower source for the terms of the GPL
* or visit the OpenSource web site at http://www.opensource.org/
* 
* Contact: Rob Arthan < rda@lemma-one.com >
* 
********************************************************************************
