http://hg.impredicative.com/urweb/atom-log/tip/tests/sql_if.ursUr/Web: tests/sql_if.urs history2011-10-15T09:04:41-04:00For new IF, fix Monoize typing and add to manualhttp://hg.impredicative.com/urweb/#changeset-34364e383bed89e6670701df3aded756a8a092e8Adam Chlipalaadam@chlipala.net2011-10-15T09:04:41-04:002011-10-15T09:04:41-04:00