[z3-checkins] r44549 - in z3/deliverance: branches/Attic trunk/Attic

[ianb at codespeak.net]

Author: ianb
Date: Tue Jun 26 20:26:02 2007
New Revision: 44549

Added:
   z3/deliverance/branches/Attic/
      - copied from r44548, z3/deliverance/trunk/Attic/
Removed:
   z3/deliverance/trunk/Attic/
Log:
Move old (Attic) stuff out of trunk