679bcaab915140dc9a5c3fa3b9c673ac0d8da321Christian Maeder{- |

8db2d2c5a8df6dd6d7302bc59577150b87237940Till MossakowskiModule : $Header$

8db2d2c5a8df6dd6d7302bc59577150b87237940Till MossakowskiDescription : mixfix analysis for terms

212ded2709e18da9cbd5096b969f869f316c460bChristian MaederCopyright : (c) Christian Maeder and Uni Bremen 2003-2005

819e29dba060687cf391e444e0f6ff88c1908cc3Christian MaederLicense : similar to LGPL, see HetCATS/LICENSE.txt or LIZENZ.txt

java.lang.NullPointerException