log src/demo.sig

age author description
2010-09-30 Adam Chlipala Demo improvements
2009-12-16 Adam Chlipala Especialize uses a termination measure based on number of arguments introduced
2008-11-20 Adam Chlipala Some demo improvements
2008-10-19 Adam Chlipala Demo HTML generation, minus source code