http://hg.impredicative.com/urweb/atom-log/tip/tests/unpoly.ursUr/Web: tests/unpoly.urs history2010-03-16T10:09:01-04:00Undo an Especialize change that turned out to be unecessaryhttp://hg.impredicative.com/urweb/#changeset-338be96f85330b728ee6390e1a9fc43d0511b420Adam Chlipalaadamc@hcoop.net2010-03-16T10:09:01-04:002010-03-16T10:09:01-04:00
changeset
338be96f8533
branch
bookmark
tag
user
Adam Chlipala <adamc@hcoop.net>
description
Undo an Especialize change that turned out to be unecessary