log demo/more/expandable.ur

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