log

age author description
Sat, 13 Sep 2008 08:58:48 -0400 Adam Chlipala Spell check
Fri, 12 Sep 2008 17:18:11 -0400 Adam Chlipala Publishing to the web
Fri, 12 Sep 2008 16:55:37 -0400 Adam Chlipala Exercises
Fri, 12 Sep 2008 15:30:59 -0400 Adam Chlipala TVL and constant-folding exercises