[z3-checkins] r34287 - in z3/deliverance/trunk/Attic: Attic doc

[cabraham at codespeak.net]

Author: cabraham
Date: Mon Nov  6 17:35:01 2006
New Revision: 34287

Added:
   z3/deliverance/trunk/Attic/doc/
      - copied from r34286, z3/deliverance/trunk/Attic/Attic/
Removed:
   z3/deliverance/trunk/Attic/Attic/
Log:
moved docs