afv-0.0.1: RELEASE-NOTES
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.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'.