version 0.50: Tue Feb 10 20:16:00 CDT 2004
[George Chlipala] Initial release.