afv 0.0.0    01/12/10

- Initial release.

afv 0.0.1    01/14/10

- Checks for duplicate top-level names.
- Uses yices new 'quickCheckY'.
- Fixed bug affecting 'assume'.