KeY-TechTip No. 3 - Update
--------------------------

Hello,

The last TechTip needs some additional explanations.. 
In the first part the datastructures of terms were explained. In the
examples the terms have been built up from skratch using different
subclasses of Term directly. This way to build up terms was taken to
demonstrate the current datastructure, but should not be used if you
want to build your own terms. Please use the class TermFactory for
this purpose, because this class is thought to encapsulate the
knowledge about how terms have to be constructed. This makes it 
easier/possible to change the underlying datastructure (e.g. there may
be a split of the package logicdata at one time in the future). 
The use of the TermFactory has been described as well in the last
TechTip. 
Thanks to Martin for drawing my attention to this point.

Greetings
     Richard