Author: faassen Date: Mon Jun 28 10:31:56 2004 New Revision: 5376 Added: z3/util/ - copied from r5375, z3/utils/ Removed: z3/utils/ Log: Rename utils to util to conform with codespeak naming policies.