log demo/listShop.ur

age author description
2008-10-21 Adam Chlipala New implicit argument handling
2008-10-21 Adam Chlipala Simple listShop working
2008-10-21 Adam Chlipala ListShop skeleton