log demo/sum.urs

age author description
2008-10-21 Adam Chlipala Sum demo, minus inference of {Unit}s