1ac1d44af1a5d0c4a800b689d2afc68826484b06 |
|
18-Oct-2010 |
Ewaryst Schulz <Ewaryst.Schulz@dfki.de> |
specialized the term data structures and adapted the static analysis and other affected modules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14154 cec4b9c1-7d33-0410-9eda-942365e851bb |