PLA Documentation

We are working on writing a comprehensive manual (coming soon in PDF). Meanwhile, you can find a small (but somewhat outdated) tutorial on Maude and PLA at PLATutorial.zip. Enjoy!

If you are interested in the source code of PLA, you might want to look at the Javadoc API of the Java portion in PLA.