http://hg.impredicative.com/urweb/atom-log/tip/demo/batchFun.urpUr/Web: demo/batchFun.urp history2009-11-17T12:44:14-05:00Hooks for measuring how much interesting proving is going on in elaborationhttp://hg.impredicative.com/urweb/#changeset-a779402841f65510a078ceccf11352e28bf0e2e4Adam Chlipalaadamc@hcoop.net2009-11-17T12:44:14-05:002009-11-17T12:44:14-05:00
changeset
a779402841f6
branch
bookmark
tag
user
Adam Chlipala <adamc@hcoop.net>
description
Hooks for measuring how much interesting proving is going on in elaboration