log demo/batchFun.ur

age author description
2009-03-10 Adam Chlipala BatchG demo