log demo/more/checkGroup.urs

age author description
Sun, 01 Nov 2009 14:26:20 -0500 Adam Chlipala Initial form for paper assignment