Fri, 02 Nov 2007 19:16:04 +0100removing 'identifier' from definition of symbolic_variable
mario [Fri, 02 Nov 2007 19:16:04 +0100] rev 78
removing 'identifier' from definition of symbolic_variable

Thu, 01 Nov 2007 20:58:56 +0100adding some comments.
mario [Thu, 01 Nov 2007 20:58:56 +0100] rev 77
adding some comments.