log src/checknest.sml

age author description
2009-07-16 Adam Chlipala Demo working with MySQL