log demo/sum.ur

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