comparison demo/listFun.urs @ 428:3ca00463de20

Make *_w function prototypes match header file
author adamc@hnf.impredicative.com
date Fri, 24 Oct 2008 19:59:17 -0400
parents ab3177746c78
children
comparison
equal deleted inserted replaced
427:0eb7bb4872d0 428:3ca00463de20