log demo/tcSum.urs

age author description
Thu, 23 Oct 2008 12:58:35 -0400 Adam Chlipala Fix nasty de Bruijn substitution bug; TcSum demo