Fri, 29 Jul 2011 16:06:38 +0100Support for semantic verification of calls to standard functions.
Mario de Sousa <msousa@fe.up.pt> [Fri, 29 Jul 2011 16:06:38 +0100] rev 352
Support for semantic verification of calls to standard functions.
Removing files no longer required.