[z3-checkins] r5376 - in z3: util utils

[faassen at codespeak.net]

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.