log

age author description
Tue, 21 Oct 2008 19:24:39 -0400 Adam Chlipala Sum demo, minus inference of {Unit}s
Tue, 21 Oct 2008 18:44:52 -0400 Adam Chlipala Sql demo
Tue, 21 Oct 2008 17:49:14 -0400 Adam Chlipala Note about demo.sql
Tue, 21 Oct 2008 17:44:03 -0400 Adam Chlipala ListShop prose