#! /bin/sh
# Copyright (c) 1990-1993 The MITRE Corporation
# 
# Authors: W. M. Farmer, J. D. Guttman, F. J. Thayer
#   
# The MITRE Corporation (MITRE) provides this software to you without
# charge to use, copy, modify or enhance for any legitimate purpose
# provided you reproduce MITRE's copyright notice in any copy or
# derivative work of this software.
# 
# This software is the copyright work of MITRE.  No ownership or other
# proprietary interest in this software is granted you other than what
# is granted in this license.
# 
# Any modification or enhancement of this software must identify the
# part of this software that was modified, by whom and when, and must
# inherit this license including its warranty disclaimers.
# 
# MITRE IS PROVIDING THE PRODUCT "AS IS" AND MAKES NO WARRANTY, EXPRESS
# OR IMPLIED, AS TO THE ACCURACY, CAPABILITY, EFFICIENCY OR FUNCTIONING
# OF THIS SOFTWARE AND DOCUMENTATION.  IN NO EVENT WILL MITRE BE LIABLE
# FOR ANY GENERAL, CONSEQUENTIAL, INDIRECT, INCIDENTAL, EXEMPLARY OR
# SPECIAL DAMAGES, EVEN IF MITRE HAS BEEN ADVISED OF THE POSSIBILITY OF
# SUCH DAMAGES.
# 
# You, at your expense, hereby indemnify and hold harmless MITRE, its
# Board of Trustees, officers, agents and employees, from any and all
# liability or damages to third parties, including attorneys' fees,
# court costs, and other related costs and expenses, arising out of your
# use of this software irrespective of the cause of said liability.
# 
# The export from the United States or the subsequent reexport of this
# software is subject to compliance with United States export control
# and munitions control restrictions.  You agree that in the event you
# seek to export this software or any derivative work thereof, you
# assume full responsibility for obtaining all necessary export licenses
# and approvals and for assuring compliance with applicable reexport
# restrictions.
# 
# 
# COPYRIGHT NOTICE INSERTED: Mon May 24 16:51:06 EDT 1993




#! /bin/sh
# $Header: /tmp_mnt/usr/src/local/imps/src/RCS/imps.sh,v 1.5 91/01/08 09:55:14 farmer Exp $

# Runs T after setting IMPS source environment variables.
# If the environment variable IMPS is not set, it defaults to ".".

IMPS=${IMPS-`pwd`};			export IMPS
PATH=$PATH:$IMPS/../bin:$IMPS/../bin/`arch`;	export PATH
IMPS_TMP=/tmp;				export IMPS_TMP
EXPRESSIONS=$IMPS/expressions;		export EXPRESSIONS
PRESENTATION=$IMPS/presentation;	export PRESENTATION
SUBSTITUTION=$IMPS/substitution;	export SUBSTITUTION
INFERENCES=$IMPS/inferences;		export INFERENCES
THEORIES=$IMPS/theories;		export THEORIES
GENERIC_THEORIES=$THEORIES/generic-theories;	export GENERIC_THEORIES
THEORY_MECHANISM=$IMPS/theory-mechanism export THEORY_MECHANISM
TRANSLATIONS=$IMPS/translations;	export TRANSLATIONS
THEORY_INFERENCE=$IMPS/theory-inference;export THEORY_INFERENCE
REALS=$THEORIES/reals;			export REALS
MISC_EXAMPLES=$IMPS/misc-examples;	export MISC_EXAMPLES
RESOURCES=$IMPS/resources;		export RESOURCES
PROOFS=$IMPS/proofs;			export PROOFS
GROUPS=$THEORIES/groups;  		export GROUPS
METRIC_SPACES=$THEORIES/metric-spaces;  export METRIC_SPACES
ALGEBRA=$THEORIES/algebra;              export ALGEBRA
SEMANTICS=$THEORIES/denotational-semantics; export SEMANTICS
LC=$IMPS/lambda-calculus;		export LC

exec imps_dump "$@"
