http://hg.impredicative.com/urweb/atom-log/tip/tests/nextid.urUr/Web: tests/nextid.ur history2011-09-03T12:51:05-04:00An abstract type of IDshttp://hg.impredicative.com/urweb/#changeset-e1f5d9c4cc20c9484065ed9abd80ef16855e613dAdam Chlipalaadam@chlipala.net2011-09-03T12:51:05-04:002011-09-03T12:51:05-04:00