diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-11-17 12:44:14 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-11-17 12:44:14 -0500 |
| commit | 4bc02a044fde4fb5c6f347e942202307a2dbdaaa (patch) | |
| tree | 9e63f1f3850a9309718b5c95fde780c56c801325 /demo/rec.urs | |
| parent | 1eaec00255adfefbfdf4c25a77f03a107cd96fbd (diff) | |
Hooks for measuring how much interesting proving is going on in elaboration
Diffstat (limited to 'demo/rec.urs')
0 files changed, 0 insertions, 0 deletions