diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-10 18:53:06 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-04-10 18:53:06 -0400 |
| commit | 0f7aa8286bea48d1a779e9837303da1df8572488 (patch) | |
| tree | de56add3b1339785df0bb2723d06a58ae8680bf6 /_CoqProject | |
| parent | eaf7fba1612c8ba2987b40bafc6b4e20a5f0be0b (diff) | |
Reorder parameters for ease of partial instantiation, add symbolic_expr_dec
Diffstat (limited to '_CoqProject')
0 files changed, 0 insertions, 0 deletions