way more Arena functionality
way more Arena functionality

darcs-hash:20050710030327-5007d-7325c4c23a0af81d201d436a39d7d31935cced24.gz

jdstroy/classgen.ibex.org,tewarfel/classgen,bgould/classgen,bgould/classgen