log demo/batchFun.urs

age author description
2009-10-20 Adam Chlipala Adapted existing demos to tuple pattern-matching
2009-04-07 Adam Chlipala Enhance table sig item support and get demo compiling again
2009-03-10 Adam Chlipala BatchG demo