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'.

afv 0.0.2    01/17/10

- Support for function arguments.  Still no support for return values.
- Stronger type checking.