log demo/batchFun.urs

age author description
2009-04-07 Adam Chlipala Enhance table sig item support and get demo compiling again
2009-03-10 Adam Chlipala BatchG demo