Installation Manual
===================
(C) 1998, Research Institute for Symbolic Computation (RISC-Linz)

I) System Requirements
----------------------

For using CFLP you need to have Mathematica 3.0 installed.

II) System Configuration
------------------------

After the distribution is unpacked you only need the files

  packages/*.m

to make the system run. These files are the package formats of the
Mathematica notebooks located in documents/packages/*.nb

You must make a local copy of the files 

        CFLPsyntax.nb
	Calculus.m	   
	RewriteRuleDefs.m  
	RewriteRules.m     
	Scheduler.m                                   
	TSolve.m           
	TermSyntax.m       
	Terms.m            
	TypeChecker.m      
	TypeSyntax.m       
	Types.m
	Variables.m

Configure Mathematica to look for packages in the directory containing
your local copy. This can be done by editing your personal init.m
file for the Mathematica kernel. On my system (and on most Unix-like
systems) this file is located in directory

  /home/username/.Mathematica/3.0/Kernel
  
To edit this file, start a Mathematica session, open the file and 
make the following modifications:

a) define an identifier for the directory containing the
copy. For example, if the copy were in the directory

  /home/mmarin/cflp/packages

you can define

  $cflpDirectory = ToFileName[{"/","home","mmarin","cflp","packages"}];

Note: the syntax for specifying a file name may vary from system to system.

b) add this identifier to your $Path; for example, I have 

  $Path=Join[{$cflpDirectory, $cflpPrivateDirectory,
        $TheoremaDirectory, $TheoremaPrivateDirectory},$Path]; 

c) save the file

After this, a CFLP session can be initiated in a Mathematica notebook
by issuing the command

  Needs["TSolve`"]

This command makes visible to your environment all the functions
defined for working with CFLP.
