MONAViewer: a smart viewer for MONA input files
Patrick Lam <plam@mit.edu>, July 17, 2004

This program displays MONA formulas using SableCC's graphical AST
viewer.  I've reimplemented the MONA parser in SableCC (see
monalanguage.sablecc) and added some tweaks to make the MONA formulas
I use more legible.

To run the MONA viewer, use:

java MONAViewer.MONAViewer <mona files>*

An example MONA file is included, example.mona.

Enjoy!
