The Association for Symbolic Logic Typesetting Group

The files posted here make it possible to create TEX-files
in the style used by the publications of the Association for Symbolic Logic,
including The Journal of Symbolic Logic, The Bulletin of Symbolic
Logic and the Lecture Notes in Logic, which (in particular)
publishes the proceedings of meetings of the Association. To use these
files, one needs to have LaTeX installed, and to know (reasonably well)
how to use it.

The document guide for asl.cls :
Postscript file, asldoc.ps (17 pages, 300 KB).
The complete document.
Texfile, asldoc.tex. This will not compile
fully without the proprietary Monotype fonts used by ASL Publications,
but it is useful for searching.

Last updated June 7, 2002, version 1.3 of asl.cls(Added aslbook and bibay3 options in asl.cls, corrected some bugs
and improved some features. asldoc has not been updated to give instructions for the aslbook
optionUsage: start with \documentclass[aslbook,bibay3,...]{asl} and follow
the general instructions for "book" in LaTeX.)