Fri, 02 Nov 2007 19:16:04 +0100 mario removing 'identifier' from definition of symbolic_variable
Thu, 01 Nov 2007 20:58:56 +0100 mario adding some comments.
Thu, 01 Nov 2007 20:58:38 +0100 mario fixing include bug (only ocured for includes in main program file).