This directory contains the preliminary proceedings of the workshop
BRA Logical Frameworks, organized in Antibes in May 1990.
It contains a dvi file, book.dvi, and two postscript files, screen1.ps
and screen2.ps. The full postscript description can be assembled by
dvips; more exactly, this will work for sure if you have the version of
dvips with banner:
This is dvips, version 4.1 (C) 1987-9 Radical Eye Software

Otherwise, use book.ps, also included here in compressed form.

This document is 500 pages thick.
Have a nice reading!

Rocquencourt, July 1st 1990
Gerard Huet

------------------------------------------------------------------------

In addition, we have added the following files.  These are all
redundant, but each has been found useful by someone or other:

"book-broken.tar.Z" is a compressed tar file containing a version of
"book.ps" that has been broken up into bite-size (fifty-page) chunks.
These chunks can sometimes be easier to print than the (rather large)
book.ps file.

"contents.txt" contains the table of contents for the proceedings in
plain ascii format.

"contents.dvi" contains the list of papers in the proceedings, along
with abstracts where appropriate, in the form of a bibliography

"contents.bib" is the BibTeX file used to produce the contents.dvi
file.  Contents.bib assumes several of our local modifications to the
usual bibliography styles, and will probably not work as-is on your
system, but is included here for the sake of completeness.  The
information for all three "contents" files was extracted from
book.dvi, rather than the original papers, and errors may have occured
in the translation.

-David Wald

[Note that the versions of book.ps in this directory were generated
for a 300dpi printer with a Canon CX print engine.  Your milage on
other types of printers may vary.  If you are able, you may get better
results by generating your own Postscript file from the dvi file, as
indicated above.]