OBJ3 release 2.0 distribution, Oct 1991

This directory, obj, should contain

Readme -- this file

bin/
	obj -- OBJ3 SUN executable

doc/
	obj.l -- man page
	installation -- installation notes
	tape -- description of contents of the tape

exs/ -- OBJ examples
	Readme
	lib,large,proofs -- subdirectories with examples

src/
	Readme
	obj-tex,example.c
	    -- csh script and supporting program (allows extraction
	    of OBJ code from a TeX or LaTeX file and its execution)

lisp/ -- Common Lisp source code for OBJ3
	Readme
	obj3-config -- configuration file
	obj3-config.lsp -- lisp configuration file
	obj3-make -- script to compile and load OBJ3
	obj3-compile
	obj3-load
	-- subdirectories contain code for system