log demo/more/versioned1.urs

age author description
2009-10-06 Adam Chlipala SELECT DISTINCT; eta expansion during Cjrization