diff options
author | Jason Gross <jgross@mit.edu> | 2016-06-16 07:39:43 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2016-06-16 07:39:43 -0400 |
commit | 2c082f731f1fb6c867908504c4e454119e58e593 (patch) | |
tree | 625acd069f9a9f2550e8af6863ce28cc3afe8785 /proofs/tacmach.mli | |
parent | 3eb1e805be574064225e832bffb01f2410c41518 (diff) |
Add is_const
Diffstat (limited to 'proofs/tacmach.mli')
0 files changed, 0 insertions, 0 deletions