log demo/refFun.ur

age author description
2009-04-07 Adam Chlipala Add primary keys to demo
2008-11-20 Adam Chlipala Some demo improvements
2008-11-07 Adam Chlipala Tree demo working (and other assorted regressions fixed)
2008-10-27 Adam Chlipala Remove need for '() <-' notation
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