[I've now edited the archived message to make this correction. --PDM] In the minutes, I gave a wrong reference to KIV (completely outdated). The current KIV system presented by Wolfgang Reif can be found in Ulm under URL http://www.informatik.uni-ulm.de/pm/kiv/kiv.html With my apologies to the KIV group! Helene