log demo/crud.ur

age author description
2008-11-20 Adam Chlipala Update Crud demo to use local functions
2008-11-07 Adam Chlipala Tree demo working (and other assorted regressions fixed)
2008-11-04 Adam Chlipala Nested demo
2008-10-27 Adam Chlipala Remove need for '() <-' notation
2008-10-23 Adam Chlipala Crud demo