diff options
| author | Brian Campbell | 2018-05-17 12:12:02 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-17 12:12:02 +0100 |
| commit | c37130ba4ac69be6a298476b24b1f93811df4bb4 (patch) | |
| tree | 677f02c87d47f4ef354ad55a1a03b244651631d9 /src/initial_check.ml | |
| parent | fc99e8af769b98ffbc951b20c12fc9111f48cec5 (diff) | |
Clean up MIPS for HOL4 a little
Move mono_rewrites into lib
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions