diff options
author | lianah <lianahady@gmail.com> | 2013-10-08 19:22:19 -0400 |
---|---|---|
committer | lianah <lianahady@gmail.com> | 2013-10-08 19:22:19 -0400 |
commit | 000f574406c29df4c60947169ef527ee5316beb7 (patch) | |
tree | e2bc0426627689ccd59d63976c9497cb9f0dc335 /proofs/signatures | |
parent | 3361081acd11178d0eb580ce91279a2ecaa7aa65 (diff) |
added currying for uf proofs; still needs debugging
Diffstat (limited to 'proofs/signatures')
0 files changed, 0 insertions, 0 deletions