Support for semantic verification of calls to standard functions.
Removing files no longer required.
matiec for Debian-----------------<possible notes regarding this package - if none, delete this file> -- edouard <edouard.tisserant@gmail.com> Wed, 21 Nov 2007 17:01:50 +0100