annotate demo/noisy.urp @ 1208:b5a4c5407ae0

Checking known() correctly, according to a pair of examples
author Adam Chlipala <adamc@hcoop.net>
date Tue, 06 Apr 2010 10:39:15 -0400
parents bab524996fca
children
rev   line source
adamc@651 1 database dbname=test
adamc@651 2 sql noisy.sql
adamc@651 3
adamc@651 4 noisy