log demo/crud.urs

age author description
2009-10-20 Adam Chlipala Adapted existing demos to tuple pattern-matching
2009-04-07 Adam Chlipala Enhance table sig item support and get demo compiling again
2009-02-26 Adam Chlipala Kind-polymorphic [fst] and friends
2009-02-24 Adam Chlipala Demos compile again, with manual folders
2009-02-21 Adam Chlipala Debug reverse-engineering unification
2008-10-23 Adam Chlipala Crud demo