diff options
| author | Jon French | 2018-05-15 17:46:32 +0100 |
|---|---|---|
| committer | Jon French | 2018-05-15 17:46:32 +0100 |
| commit | ed3bb9702bd1f76041a3798f453714b0636a1b6b (patch) | |
| tree | 5252416976e464960f0f7e322bd5adc53942c43f /snapshots/hol4/lem/hol-lib/lem_set_extraScript.sml | |
| parent | 11ac94c4b270bf8bc1c0d1aa1a852f36f0790b9b (diff) | |
reorder lem rewrite passes and explicitly remove mapping valspecs; string stuff now compiles to Lem
Diffstat (limited to 'snapshots/hol4/lem/hol-lib/lem_set_extraScript.sml')
0 files changed, 0 insertions, 0 deletions