################################################################################
#
# PPZSmtLib: a Z Model of the SMT-LIB theories and logics
#
# Use the make file zsmtlib.mkf to process the scripts.
# For instructions on how to do this type:
#
# make -f zsmtlib.mkf
#
# and you will be given some help on using the make file.
#
# Copyright (c) 2005-2016 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 >
#
################################################################################
