Package `assertions' -- version 0.4 (alpha)

This directory contains file  `assertions.sty' -- the file for package
assertions. To use it, copy it  to your TEXINPUTS directory, or to the
directory containing your main LaTeX file.

It also contains files `doc.dvi' and `doc.ps', in which a very concise
description of the package may be found.

lucchesi@dcc.unicamp.br