log demo/more/checkGroup.urs

age author description
2009-11-01 Adam Chlipala Initial form for paper assignment