log demo/cookie.ur

age author description
2008-11-06 Adam Chlipala Cookie prose; fix bugs that broke demo compilation
2008-11-06 Adam Chlipala Cookie demo code; fix error message display