log lib/basis.urs

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