log demo/link.ur

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