http://hg.impredicative.com/urweb/atom-log/tip/src/elab_ops.sigUr/Web: src/elab_ops.sig history2008-07-01T09:29:49-04:00Factor some operations into ElabOpshttp://hg.impredicative.com/urweb/#changeset-60d97de1bbe82e554a66be34e6b2d484d7585d94Adam Chlipalaadamc@hcoop.net2008-07-01T09:29:49-04:002008-07-01T09:29:49-04:00