next up previous
Next: About this document ... Up: A tool for studying Previous: Bibliography


The formula tree lab is written in Java using Sun's SDK 1.4.1. If you have problems you should install the Java plugin and runtime environment which can be found at If you still can not get your browser to correctly display the FTLab applet you can try to run it outside your browser by downloading FTLab.jar and running it by opening the file in Microsoft Windows or executing java -jar FTLab.jar in Unix systems.

Sabine Broda