log demo/prose

age author description
2008-10-23 Adam Chlipala Crud2 demo
2008-10-23 Adam Chlipala Crud demo
2008-10-23 Adam Chlipala Prose for Ref and Metaform
2008-10-23 Adam Chlipala Fix bug with bringing functor argument instances into scope; Ref demo, minus prose
2008-10-23 Adam Chlipala Metaform demos, minus prose
2008-10-23 Adam Chlipala Fix nasty de Bruijn substitution bug; TcSum demo
2008-10-23 Adam Chlipala Counter demo