diff demo/batchFun.urp @ 1034:a779402841f6

Hooks for measuring how much interesting proving is going on in elaboration
author Adam Chlipala <adamc@hcoop.net>
date Tue, 17 Nov 2009 12:44:14 -0500
parents
children de48dc2c9ee8
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/demo/batchFun.urp	Tue Nov 17 12:44:14 2009 -0500
@@ -0,0 +1,2 @@
+
+batchFun