********************************************************************************
* 
* PPRefinement: some ProofPower-Z cases studies concerned with refinement.
* 
* You will need ProofPower at version 2.7.3 or later.
* You can obtain ProofPower via:
*    http://www.lemma-one.com/ProofPower/index/index.html
*
* Use the make file refinement.mkf  to process the document files.
* For instructions on how to do this type:
* 
* 	make -f refinement.mkf
* 
* and you will be given some basic help on using the make file.
*
* Copyright (c) 2004-2006 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 >
* 
********************************************************************************
