-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Sorry, my fault :-)
I messed around with the position information. That made recognition
of "lexical ordering" impossible.
Sorry!
Eric
- --
Eric Bodden
Chair I2 for Programming Languages and Program Analysis
RWTH Aachen University
-----BEGIN PGP SIGNATURE-----
Version: PGP 8.0.3
iQA/AwUBQpjc4cwiFCm7RlWCEQI2LQCaA9Uq3wP5z34V63TmKWNfwS92DCsAnikT
rTWrss30zjuEmR94xLxUZm+m
=pym1
-----END PGP SIGNATURE-----
Received on Sat May 28 22:04:50 2005
This archive was generated by hypermail 2.1.8 : Tue May 31 2005 - 23:50:06 BST